Языки спецификаций и логическое программирование : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО АН СССР, 1988. — 143 с. — (Вычислительные системы ; вып. 124) - Ершов, Ю. Л. (род. 1940); Гончаров, С. С. (род. 1951); Косарев, Ю. Г. (Вычислительные системы, 1988)