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