1. M. Abadi: The power of temporal proofs. Theoret. Comput. Sci. 64, 35–84 (1989)
2. H. Andreka, J. Nemeti, J. Sain: On the strenghth of temporal proof. LNCS 379, 135–144 (1989)
3. H. Barringer: Up and down the temporal way. The Comput Journ. 30, 134–148 (1987)
4. H. Barringer: The use of temporal logic in the compositional specification of concurrent systems. In: A. Galton (ed.): Temporal logics and their applications. London: Academic Press 1987, pp. 53–90
5. M. Ben-Ari: Mathematical Logic for Computer Science. Prentice Hall 1993