TY  - BOOK
AU  - Becvar J
ED  - Symposium on Mathematical Foundations of Computer Science( 8th : 1979 : Olomouc )
ED  - Symposium on Mathematical Foundations of Computer Science 8th
TI  - Mathematical foundations of Computer science : proceedings
U1  - 4.0151 
PY  - 1979///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
ER  -