Logic, automata, and algorithms - Aiserman M A (London Academic Press, 1971)
Tr. from the Russian
Keywords: Automatic control engineering