Kovalyov, V.; Kompaniets, R.; Novikov, V. Verification of Programs Based on Similarity Relations. SP 2015, 1, 233-245.