Функциональный метод спецификации семантики параллельных языков и алгоритмовЯзев, Алексей Михайлович199014 с.