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