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