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