Quicksort Revisited - Verifying Alternative Versions of Quicksort. - Razvan Certezeanu; Sophia Drossopoulou; Benjamin Egelund-Müller; K. Rustan M. Leino; Sinduran Sivarajan; Mark J. Wheelhouse (Theory and Practice of Formal Methods, 2016)