Mathematical foundations of computer science 1984 : proceedings : 11th syposium : PRAHA, CZECHOSLOVAKIA, SEPTEMBER 3-7, 1984. - Chytil, M. P. (Springer Verlag, 1984)