Biernacka, M.; Danvy, O. A Concrete Framework for Environment Machines. BRICS 2006, 13.