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