Проблемы теоретического и системного программирования: сборник научных трудов - Ершов А. П. (Новосибирск, Изд-во НГУ, 1982)