M. Biernacka and O. Danvy, “A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines”, BRICS, vol. 13, no. 18, Dec. 2006.