1. Abadi, M.: The power of temporal proofs. In: Second Symposium on Logic in Computer Science, pp. 123?130. New York: IEEE 1987
2. Lect. Notes Comput. Sci.,1985
3. Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fundam. Math.49, 129?141 (1961)
4. Emerson, E.A.: Temporal and modal logic. In: Leeuwen, J. van, (ed.) Handbook of theoretical computer science, pp. 995?1072. Amsterdam: Elsevier 1990
5. Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: 7th Annual Conference on Principles of Programming Languages, 163?173. Las Vegas, Nevada, January 1980. New York: ACM 1980