“...Symposium on Mathematical Foundations of Computer Science (1972-) Gdaňsk, Polsko)...”