Vvedenie v teoriju vyčislitel'nyh sistem. - Pospelov, Dmitrij Aleksandrovič (Moskva : Sovetskoe Radio, 1972)