Zohar Manna Amir Pnueli Completing the Temporal Picture. 91-130 1991 83 Theor. Comput. Sci. 1 db/journals/tcs/tcs83.html#MannaP91