1. Kovalyov V., Kompaniets R., Novikov V. Verification of Programs Based on Similarity Relations // SPIIRAS Proceedings. 2015. № 38 (1). C. 233-245.