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