Biernacka, Malgorzata, and Olivier Danvy. “A Concrete Framework for Environment Machines”. BRICS Report Series 12, no. 15 (May 11, 2005). Accessed May 4, 2024. https://tidsskrift.dk/brics/article/view/21881.