1. Alur R., Henzinger T.A. (1991): Logics and models of real-time: A survey. In: Proc. of the REX workshop “Real-time: Theory and practice”. Springer, Berlin, pp. 74–106 (Lecture notes in computer science, vol. 600)
2. Boyer R.S., Moore J.S. (1979): A computational logic. Academic Press, New York
3. de Bruijn N.G. (1980): A survey of the project AUTOMATH. In: Essays on combina-tory logic, lambda calculus and formalism. Academic Press, London, pp. 580–606
4. Burch J.R., Clarke E.M., McMillan K.L., Dill D.L., Hwang L.J. (1992): Symbolic model checking: 1020 states and byond. Information and computation 98 (2), pp. 142–170
5. Clarke E., Emerson E.A. (1982): Design and synthesis of synchronization skeletonsusing branching time temporal logic. In: Proc. Workshop “Logics of programs”.Springer, Berlin, pp. 52–71 (Lecture notes in computer science, vol. 131)