Mathematical foundations of computer science 1984 : proceedings, 11th symposium, Praha, Czechoslovakia, September 3-7, 1984