Основы математической теории языков программирования : доклад представлен на I Международном симпозиуме по искусственному интеллекту (Ленинград, 4-6 октября 1983 г.)Тузов, Виталий Алексеевич198311 с.