Чем привлекательны алгебраические модели программ с процедурамитезисы доклада