Шелехов В.И. Верификация предикатной программы бинарного поиска объекта произвольного типа // № 15, 2019
