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