Author: Symposium on Theoretical Aspects of Computer Science (10th 1993 Würzburg, Germany)