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