Andersen, Jørgen H., Ed Harcourt, and K.V.S. Prasad. “A Machine Verified Distributed Sorting Algorithm”. BRICS Report Series 3, no. 4 (January 4, 1996). Accessed May 1, 2024. https://tidsskrift.dk/brics/article/view/19967.