Author: Symposium on Theoretical Aspects of Computer Science (8th 1991 Hamburg, Germany)