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