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