TY  - BOOK
AU  - Melton, A., Ed.
TI  - Mathematical foundations of programming semantics,proceedings, 1985
CY  - Berlin
ER  -