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