Ивакин, Я. А. Введение в проблему компьютерной интерпретации прикладных формализуемых теорий. Информационно-управляющие системы, вып. 1, Feb. 2003, сс. 26-31, http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14321.