Extensible denotational semantics (1994)

by R Cartwright, M Felleisen
Venue:Proc. Symp. Theoretical Aspects of Computer Software