Ковалев, Виктор Васильевич, Радион Иванович Компаниец, и Владимир Александрович Новиков. Верификация программ на основе соотношений подобия. Труды СПИИРАН 1, no. 38 (март 10, 2015): 233-245. просмотрено ноябрь 21, 2024. https://ia.spcras.ru/index.php/sp/article/view/3076.