Proc. of the 1987 Symposium on Logic Programming, San Fransisco, Calif, 1987. IEEE Computer Society Press.

• Abadi M. and Manna, Z. (1987) Abadi M. and Manna, Z. "Temporal Logic in Programming", pp4-16