Abadi, M. and Manna, Z. "Nonclausal temporal deduction" pp1-15

Parikh, R. (1985) Parikh, R. editor, Proceedings of Conference on Logics of Programs, LNCS 193, Springer-Verlag, 1985  

Languages mentioned TempLog {1987}