Biernacka, Malgorzata, and Olivier Danvy. “A Syntactic Correspondence Between Context-Sensitive Calculi and Abstract Machines”. BRICS Report Series, vol. 13, no. 18, Dec. 2006, doi:10.7146/brics.v13i18.22176.