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