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