Biernacka, Malgorzata, Olivier Danvy, og Kristian Støvring. “Program Extraction from Proofs of Weak Head Normalization”. BRICS Report Series 12, no. 12 (april 11, 2005). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/21878.