1. Baier C, Katoen J-P (2008) Principles of model checking. The MIT Press, Cambridge. OCLC: ocn171152628
2. Huth M, Ryan M (2004) Logic in computer science: modelling and reasoning about systems, 2 edn. Cambridge University Press
3. Andersen HR (1997) An introduction to binary decision diagrams. Lecture notes, available online. IT University of Copenhagen, pp 5
4. Bryant RE (2018) Binary decision diagrams. In: Clarke EM, Henzinger TA, Veith H, Bloem R (eds) Handbook of model checking. Springer International Publishing, Cham, pp 191–217
5. Clarke EM, Lerda F (2007) Model checking: software and beyond. J. UCS 13(5):639–649