Вып. 116 : Прикладная логика; Вычислительные системы - Ершов Ю. Л.; Гончаров С. С. (1986, 1986)