Author: Symposium on Theoretical Aspects of Computer Science (4th 1987 Passau, Germany)