Biernacka, M., O. Danvy, og K. Støvring. “Program Extraction from Proofs of Weak Head Normalization”. BRICS Report Series, bd. 12, nr. 12, april 2005, doi:10.7146/brics.v12i12.21878.