R. M. Baer;E. H. Spanier
-;-
Finite automata and their decision problems
IBM Journal of Research and Development