Extensible Denotational Language Specifications (1994)

by Robert Cartwright, Matthias Felleisen
Venue:SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE, NUMBER 789 IN LNCS