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