Malgorzata Biernacka, Olivier Danvy. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. In Jens Palsberg, editor, Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Volume 5700 of Lecture Notes in Computer Science, pages 186-206, Springer, 2009. [doi]
Abstract is missing.