TY  - BOOK
AU  - Goos,G.
AU  - Hartmanis,J.
ED  - Symposium on Mathematical Foundations of Computer Science
TI  - A mathematical foundations of computer science 1979: proceedings 
SN  - 3540095268 (pbk.)
U1  - 001.6 
PY  - 1979///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
ER  -