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