Extensible denotational language speci (1994)

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