Logic, automata, and algorithms /
Aiserman, Mark Aronovich.
New York London Academic Press
1971
Originally published as 'Logika, avtomaty, algoritmy'. Moscow: Literatury, 1963
bibl p409-429
Sequential machine theory.
Logic, Symbolic and mathematical.
Algorithms.