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