Logika, automaty a algoritmy - Ajzerman, Mark Aronovič 1913- (Academia, nakladatelství Československé akademie věd, 1971)