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