Extensible denotational language specifications (1994)

by R Cartwright, M Felleisen
Venue:Aspects of Comp. Soft., number 789 in LNCS