Biernacka, Malgorzata, and Olivier Danvy. 2005. “A Concrete Framework for Environment Machines”. BRICS Report Series 12 (15). https://doi.org/10.7146/brics.v12i15.21881.