Ивакин. Категорная модель компьютерной интерпретации прикладных формализуемых теорий. Труды СПИИРАН 3, no. 1 (июнь 1, 2003): 177-186. просмотрено апрель 27, 2024. http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1138.