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