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