Author: Bulgaria) Sovetsko-bolgarskoe soveshchanie "Matematicheskai͡a teorii͡a i praktika sistem programmnogo obespechenii͡a" (1980 Sofia