Ковалев, Виктор Васильевич, Радион Иванович Компаниец, и Владимир Александрович Новиков. Верификация программ на основе соотношений подобия. Труды СПИИРАН 1, no. 38 (февраль 16, 2015): 233-245. просмотрено июнь 20, 2019. http://proceedings.spiiras.nw.ru/index.php/sp/article/view/3076.