Biernacka, Malgorzata, and Olivier Danvy. “A Concrete Framework for Environment Machines”. BRICS Report Series 13, no. 3 (February 12, 2006). Accessed April 26, 2024. https://tidsskrift.dk/brics/article/view/21909.