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