Logika, automaty a algoritmy - Ajzerman, M.A; Gusev, L. A.; Rozonoer, L. I.; Smirnova, M.I; Tal, A. A. (Academia, 1971)