Executable specification of static semantics (1984)

by T Despeyroux
Venue:Des84] [DG87] [DGC + 79