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