Ивакин. Категорная модель компьютерной интерпретации прикладных формализуемых теорий. ТС [Интернет]. 1июн.2003 [цитируется по 23апр.2024];3(1):177-86. Available from: http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1138