(1)
Andersen, J. H.; Harcourt, E.; Prasad, K. A Machine Verified Distributed Sorting Algorithm. BRICS 1996, 3.