Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 - Bečvář, Jiří (Lecture notes in computer science, 1979)