Вып. 45 : Теоретическое и системное программирование - Кабулов В. К. (1981, 1981)