Executable specification of static semantics (1984)

by T Despeyroux
Venue:Semantics of Data Types