J. H. Andersen, E. Harcourt, og K. Prasad, “A Machine Verified Distributed Sorting Algorithm”, BRICS, bd. 3, nr. 4, jan. 1996.