Symposium on mathematical foundations of computer science 4th (1975: Marianske Lazne) - Becvar, J (Springer- Verlag, 1975)