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