к сборнику "Математическая теория и практика систем программного обеспечения"; труды советско-болгарского совещания. /Текст рукописный./
