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