M. Biernacka and O. Danvy, “A Concrete Framework for Environment Machines”, BRICS, vol. 13, no. 3, Feb. 2006.