Biernacka, Malgorzata, and Olivier Danvy. 2006. “A Concrete Framework for Environment Machines”. BRICS Report Series 13 (3). https://doi.org/10.7146/brics.v13i3.21909.