ANDERSEN, J. H.; HARCOURT, E.; PRASAD, K. A Machine Verified Distributed Sorting Algorithm. BRICS Report Series, [S. l.], v. 3, n. 4, 1996. DOI: 10.7146/brics.v3i4.19967. Disponível em: https://tidsskrift.dk/brics/article/view/19967. Acesso em: 16 apr. 2024.