1. Samson Abramsky, Dov M. Gabbay, and T. S. E. Maibaum, editors. Handbook of Logic in Computer Science (Vol. 3): Semantic Structures. Oxford University Press, Inc., 1995.
2. A. Biere, A. Biere, M. Heule, H. van Maaren, and T. Walsh. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press, NLD, 2009.
3. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
4. Christel Baier and Joost-Pieter Katoen. Principles of model checking. MIT Press, 2008.
5. Michel Bidoit and Peter D. Mosses. CASL User Manual – Introduction to Using the Common Algebraic Specification Language. Springer, 2004.