“...Symposium on Theoretical Aspects of Computer Science Cáchy, Německo)...”