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