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