1. Gabbay D. M., Hodkinson I. M., and Reynolds M. A., Temporal Logic, Clarendon, Oxford (1994) (Math. Found. Comput. Aspects; Vol. 1).
2. Gabbay D. M. and Hodkinson I. M., “An axiomatization of the temporal logic with Until and Since over the real numbers,” J. Logic Comput., vol. 1, 229–260 (1990).
3. Gabbay D. M. and Hodkinson I. M., Temporal Logic in the Context of Databases, Oxford University, Oxford (1995) (Logic and Reality: Essays on the Legacy of Arthur Prior. Copeland J., Ed.).
4. Manna Z. and Pnueli A., The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer, New York (1992).
5. Emerson E. A. and Halpern J. Y., “Decision procedures and expressiveness in the temporal logic of branching time,” J. Comput. Syst. Sci., vol. 30, no. 1, 1–24 (1985).