Четвертый всесоюзный симпозиум "Системное и теоретическое программирование"