Author: Symposium on Theoretical Aspects of Computer Science (14th 1997 Lübeck, Germany)