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