Biernacka, M. and Danvy, O. (2005) “A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines”, BRICS Report Series, 12(22). doi: 10.7146/brics.v12i22.21888.