КОВАЛЕВ, В. В.; КОМПАНИЕЦ, Р. И.; НОВИКОВ, В. А. Верификация программ на основе соотношений подобия. Труды СПИИРАН, v. 1, n. 38, p. 233-245, 16 fev. 2015.