1. Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1975.
2. John Horton Conway. Regular Algebra and Finite Machines. Chapman and Hall, London, 1971.
3. John Horton Conway, personal communication, May 1990.
4. Harel, D., First-Order Dynamic Logic. Lecture Notes in Computer Science 68, Springer-Verlag, 1979.
5. Dexter Kozen, “On induction vs. *-continuity,” Proc. Workshop on Logics of Programs 1981, Spring-Verlag Lect. Notes in Comput. Sci. 131, ed. Kozen, 1981, 167–176.