Extensible denotational language speci cations (1994)

by R S Cartwright, M Felleisen
Venue:Symposium on Theoretical Aspects of Computer Science