Formal Languages and Their Relation to Automata (Addison-Wesley Series in Computer Science and Information Processing)
Regular Algebra and Finite Machines (Dover Books on Mathematics)