Вып. 133 : Логические методы в программировании; Вычислительные системы (1990, 1990)