M. Biernacka og O. Danvy, “A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines”, BRICS, bd. 13, nr. 18, dec. 2006.