Operational semantics for Scheme via term rewriting (2005)

by J Matthews, R B Findler Matthews, J