сборника "Математическая теория и практика систем программного обеспечения", основанного на докладах советско-болгарского совещания (София, 1980 год), и справочная информация о нем.