Ковалев, Виктор Васильевич, Радион Иванович Компаниец, и Владимир Александрович Новиков. 2015. Верификация программ на основе соотношений подобия. Труды СПИИРАН 1 (38), 233-45. https://doi.org/10.15622/sp.38.13.