Biernacka, M.; Danvy, O. A Syntactic Correspondence Between Context-Sensitive Calculi and Abstract Machines. BRICS 2006, 13.