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