Logic, automata, and algorithms - Aizerman, Mark Aronovich 1913- (Academic, 1971)