TY  - BOOK
AU  - Intl. Conf. on Mathematical foundations...(New Orleans
AU  - Main, M., ed
TI  - Mathematical foundations of programming semantics
T2  - Lecture notes in computer science
SN  - 3540973753
U1  - 005.131 
PY  - 1990///
CY  - Berlin
PB  - S-V
ER  -