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