M. Biernacka og O. Danvy, “A Concrete Framework for Environment Machines”, BRICS, bd. 12, nr. 15, maj 2005.