Logika avtomat' algoritmy - Ajzerman, Mark Aronovič (Gosudarstennoe izdatel'stvo fiziko-matematičeskoj literaturi, 1963)