|
Подловченко, Л. Проблема включения в алгебраической модели программ с константами [Текст] / Л. Подловченко, Д. Русаков // Программирование. – 2007. – № 3. – 3-15.
Статья относится к теории алгебраических моделей программ. Основой этой теории заложены в [1, 2]. В [1] дается определение алгебраической модели программ и описыввается проблематика теории. В [2] выделяется класс моделей, подлежащих изучению |