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