Andersen, Jørgen H., Ed Harcourt, og K.V.S. Prasad. “A Machine Verified Distributed Sorting Algorithm”. BRICS Report Series 3, no. 4 (januar 4, 1996). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/19967.