Shelekhov V. Deductive verification of predicate program of binary search of an arbitrary type object // # 15, 2019
