An Assertional Proof of the Stability and Correctness of Natural Mergesort | Publicación