1. Barringer H, Fisher M, Gabbay Det al. METATEM: A framework for programming in temporal logic. InProc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formulisms, Correctness, Mook, Netherlands,Lecture Notes in Computer Science 430, Springer-Verlag, 1989, pp. 94–129.
2. Fujita M, Kono S, Tanaka Het al. Tokio: Logic programming language based on temporal logic and its compilation to PROLOG.Third International Conference on Logic Programming, London, Lecture Notes in Computer Science 225, Springer-Verlag, July, 1986, pp. 695–709.
3. Lamport L. The temporal logic of actions,ACM TOPLAS, 1994, 16: 872–923.
4. Moszkowski B. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, 1986.
5. Tang C S. Toward a unified logic basis for programming languages. InProc. IFIP Congress 83, Amsterdam, Elsevier Science Publishers B.V. (North-Holland), 1983, pp. 425–429.