Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September, 3-7, 1979 - Symposium on Mathematical Foundations of Computer Science (8th : 1979 : Olomouc) (Springer-Verlag, 1979)