1. A.V. Aho, J.E. Hopcroft, J.D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, Mass. 1974.
2. D. Basin, N. Klarlund, Hardware-verification using monadic second-order logic, in: Computer Aided Verification (P. Wolper, Ed.), Lecture Notes in Computer Science 939, Springer-Verlag, Berlin 1995, pp. 31–41.
3. G. Boole, An Investigation of the Laws of Thought, Walton and Marberly, London 1854.
4. R. Bryant, Symbolic Boolean manipulation with ordered binary decision diagrams, ACM Computing Surveys
24 (1992), 293–318.
5. J.R. Büchi, Weak second-order arithmetic and finite automata, Z. Math. Logik Grundl. Math.
6 (1960), 66–92.