Carroll, John. Theory of finite automata : with an introduction to formal languages / John Carroll, Darrell Long. - Englewood Cliffs, N.J. : Prentice-Hall International, c 1989. - vi, 438 p. : ill. ; 24 cm. ISBN: 0139138153 (pbk.) Subjects--Topical Terms: Sequential machine theory.Formal languages.