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