Trakhtenbrot, B. A. Finite automata : behavior and synthesis / B.A. Trakhtenbrot and Ya. M. Barzdin ; translated from the Russian by D. Louvish ; English translation edited by E. Shamir and L.H. Landweber. - Amsterdam : North-Holland Pub. ; 1973. - xi, 321 p. : Translation of Konechnye avtomaty. ISBN: 0720480213 Subjects--Topical Terms: Sequential machine theory. Dewey Class. No.: 511.3 / Fi