Andersen JH, Harcourt E, Prasad K. A Machine Verified Distributed Sorting Algorithm. BRICS [Internet]. 4. januar 1996 [henvist 5. december 2025];3(4). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19967