TY - BOOK ED - Symposium on Mathematical Foundations of Computer science (5th : 1976 : Gdansk). ED - Mazurkiewicz, A. TI - Mathematical foundations of computer science 1976: proceedings, 5th symposium, Gdansk, September6-10, 1976 SN - 3540078541 PY - 1976/// CY - Berlin PB - Springer-Verlag KW - Formal languages KW - Congresses KW - Machine theory KW - Programming (Electronic computers) N1 - 'The Symposium is being organized by the Computation Centre of the Polish Academy of Sciences in cooperation with the University of Gdansk.'; Includes bibliographical references and index ER -