Biernacka, Malgorzata, and Olivier Danvy. 2005. “A Syntactic Correspondence Between Context-Sensitive Calculi and Abstract Machines”. BRICS Report Series 12 (22). https://doi.org/10.7146/brics.v12i22.21888.