TY  - BOOK
AU  - Symposium on Mathematical Foundations of Computer Science, Marianske Lazue, September 1-5, 1975
AU  - Becvar, J.
TI  - Mathematical foundations of computer science: ; proceedings of the 4th symposium 
U1  - 518.1 
PY  - 1975///
CY  - Berlin
PB  - Springer-Verlag
ER  -