Подъячев, и Афанасьев. Тестирование трансляции формальных моделей. Труды СПИИРАН 2, no. 3 (апрель 1, 2006): 156-161. просмотрено ноябрь 23, 2024. https://ia.spcras.ru/index.php/sp/article/view/1249.