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