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