|
Подловченко, Р. И. Проблема эквивалентных преобразований в модели программ с перестановочными и монотонными операторами [Текст] / Р. И. Подловченко // Программирование. – 2002. – № 6. – 3-18.
В статье рассматривается основная проблема теории алгебраических моделей программ |