1. Ивакин Я.А. Введение в проблему компьютерной интерпретации прикладных формализуемых теорий // Информационно-управляющие системы. 2003. № 1. C. 26-31.