Environmental acquisition revisited. - Richard Cobbe; Matthias Felleisen (POPL, 2005)