Kovalyov, V., Kompaniets, R. and Novikov, V. (2015) “Verification of Programs Based on Similarity Relations”, SPIIRAS Proceedings, 1(38), pp. 233-245. DOI: 10.15622/sp.38.13.