TY - BOOK AU - Carroll, John AU - Long, Darrell TI - Theory of finite automata: with an introduction to formal languages. U1 - 511 C236T ER -