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