Mathematical foundations of computer science 1975 : 4th symposium, Marianske Lazine, september 1-5, 1975 - Bečvar, Jiri (Berlin : Springer Verlag, 1975)