Biernacka, M. and Danvy, O. (2006) “A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines”, BRICS Report Series, 13(18). doi: 10.7146/brics.v13i18.22176.