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