TY  - BOOK
ED  - Symposium on Mathematical Foundations of Computer Science 1980
TI  - Mathematical Foundations of Computer Science : proceedings
T2  - 88
U1  - 001.64 
PY  - 1980///
CY  - New York
PB  - Springer-Verlag
KW  - Computer science
KW  - Mathematics
KW  - Congresses
ER  -