Biernacka, M., & Danvy, O. (2006). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. BRICS Report Series, 13(18). https://doi.org/10.7146/brics.v13i18.22176