Системное и теоретическое программирование : [сборник статей / редколлегия: Ю. Н. Печерский (ответственный редактор) и др.]. — Кишинев : Штиница, 1982. — 138, [2] с. — (Математические исследования ; вып. 69) - Печерский, Ю. Н. (Математические исследования, 1982)