Harcourt, Ed

• BRICS Report Series No. 4 (1996): RS-4 A Machine Verified Distributed Sorting Algorithm - Articles
  A Machine Verified Distributed Sorting Algorithm
  Abstract  PDF