Mathematical foundations of computer science 1979 : proceedings, 8th symposium, Olomouc, Czechoslovakia, september 3-7, 1979 - Bečvar, Jiri (Springer Verlag, 1979)