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. -- North-Holland Pub. Co, 1973. -- (Fundamental studies in computer science ; v. 1).
<BB30055872>