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