Extensible denotational language speci (1994)

by Robert Cartwright, Matthias Felleisen
Venue:Theoretical Aspects of Computer Software