“...Symposium on Mathematical Foundations of Computer Science (1972-) Szklarska Poreba, Polsko...”