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