Mathematical foundations of computer science 1979 proceedings, 8th Symposium, Olomouc, Czechoslovakia, Sept. 3-7, 1979 (Springer, 1979)