Третьего всесоюзного симпозиума "Системное и теоретическое программирование" (Кишинев, 10-12 декабря 1974 г.).
