Biernacka, M.; Danvy, O. A Concrete Framework for Environment Machines. BRICS 2005, 12.