1. G. Hughes and M. Creswell,An Introduction to Modal Logic, Methuen: London, 1977.
2. Z. Manna, ?The correctness of programs,?J. Computer Syst. Sci., vol. 3, pp. 119?127.
3. A. Pnueli, ?The temporal semantics of concurrent programs,?Proc. 18th Symp. Foundations Comput. Sci., IEEE, Providence, RI, November 1977, pp. 46?57.
4. J. van Benthem, ?Time, logic and computation,? inLinear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. de Bakker, W.-P. de Roever, and G. Rozenberg, Springer-Verlag, New York, 1989, pp. 1?49.
5. S. Owicki and D. Gries, ?An axiomatic proof technique kfor parallel programs I,?Acta Informatica vol. 6, no. 1, pp. 319?340, 1976.