Logic,Automata , and Algorithms - Aiserman, Mark A. (Academic Press, 1971)
Originally pub. as :"Logica,Avtomaty,Algoritmy" by Gosud.Is-vo Fiziko-Mathem.Literatury (State Press for Physical and Mathematical Publications), Moscow,1963.