1. A.V. Aho, J.E. Hopcroft & J.D. Ullman (1974): The design and analysis of computer algorithms, Addison-Wesley.
2. T. Bolognesi & S.A. Smolka (1987): Fundamental results for the verification of observational equivalence: a survey. In: Proceedings 7th IFIP WG6.1 International Symposium on Protocol Specification, Testing, and Verification, Zürich, Switserland, May 1987 (H. Rudin & C. West, eds.), North-Holland.
3. M.C. Browne, E.M. Clarke & O. Grumberg (1988): Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science 59(1,2), pp. 115–131.
4. E.M. Clarke & E.A. Emerson (1981): Synthesis of synchronization skeletons for branching time temporal logic. In: Proceedings of the Workshop on Logic of Programs, Springer-Verlag, pp. 52–71.
5. E.M. Clarke & O. Grumberg (1987): Research on automatic verification of finite state concurrent systems. Ann. Rev. Comput. Sci. 2, pp. 269–290.