Ивакин. 2003. Категорная модель компьютерной интерпретации прикладных формализуемых теорий. Труды СПИИРАН 3 (1), 177-86. https://doi.org/10.15622/sp.1.18.