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