[1]
J. H. Andersen, E. Harcourt, and K. Prasad, “A Machine Verified Distributed Sorting Algorithm”, BRICS, vol. 3, no. 4, Jan. 1996.