Biernacka, M., and O. Danvy. “A Concrete Framework for Environment Machines”. BRICS Report Series, vol. 13, no. 3, Feb. 2006, doi:10.7146/brics.v13i3.21909.