Andersen, J. H., Harcourt, E., & Prasad, K. (1996). A Machine Verified Distributed Sorting Algorithm. BRICS Report Series, 3(4). https://doi.org/10.7146/brics.v3i4.19967