TY  - BOOK
AU  - Main, M.
AU  - Melton, A.
AU  - Mislore, M.
AU  - Workshop on Mathematical Foundations of Programming Language Semantics ( New Orleans : 1987 )
TI  - Mathematical foundations of programming language semantics
T2  - Lecture notes in computer science
SN  - 3540190201
U1  - 510.02854 
PY  - 1988///
CY  - Berlin
PB  - Springer-Verlag
ER  -