"An Assertional Proof of the Stability and Correctness of Natural Mergesort."

K. Rustan M. Leino, Paqui Lucio (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics