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