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