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