Mathematical foundations of computer science 1976 : proceedings 5th Symposium, Gdańsk, September 6 -10, 1976 / [organized by the Computation Centre of the Polish Academy of Sciences in cooperation with the University of Gdańsk] ; edited by A. Mazurkiewicz / Berlin : Springer , 1976