DANVY, O.; NIELSEN, L. R. CPS Transformation of Beta-Redexes. BRICS Report Series, [S. l.], v. 7, n. 35, 2000. DOI: 10.7146/brics.v7i35.20170. Disponível em: https://tidsskrift.dk/brics/article/view/20170. Acesso em: 4 jul. 2022.