Mathematical foundations of computer science 1976 : proceedings, 5th symposium, Gdansk, september 6-10,1976 - Mazurkiewicz, A. (Springer Verlag, 1976)