TY  - BOOK
AU  - Becvar, J
TI  - Symposium on mathematical foundations of computer science 4th (1975: Marianske Lazne)
PY  - 1975///
CY  - New York
PB  - Springer- Verlag
KW  - Formal languages
ER  -