Категорная модель компьютерной интерпретации прикладных формализуемых теорий - Ивакин (Труды СПИИРАН, 2003)