“...Symposium on Theoretical Aspects of Computer Science Stuttgart, Německo)...”