A Reduction Semantics for Imperative Higher-Order Languages (1987)

by Matthias Felleisen, Daniel P Friedman
Venue:In PARLE (2