Extensible denotational language sepecifications (1994)

by R Cartwright, M Felleisen
Venue:In Proc. of TACS'94