Biernacka, M., & Danvy, O. (2005). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. BRICS Report Series, 12(22). https://doi.org/10.7146/brics.v12i22.21888