R.B.: An operational semantics for Scheme (2007)

by Jacob Matthews, Robert Bruce Findler
Venue:Journal of Functional Programming