Ивакин,. Категорная модель компьютерной интерпретации прикладных формализуемых теорий. ТС 2003, 3, 177-186.