Abadi M. and Manna, Z. "Temporal Logic in Programming", pp4-16

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

Languages mentioned TempLog {1987}