Author: Symposium on Theoretical Aspects of Computer Science (6th 1989 Paderborn, FRG)