Подъячев, & Афанасьев,. (2006). Тестирование трансляции формальных моделей. Труды СПИИРАН, 2(3), 156-161. https://doi.org/10.15622/sp.3.12