M. Biernacka and O. Danvy, “A Concrete Framework for Environment Machines”, BRICS, vol. 12, no. 15, May 2005.