Author: Symposium on Theoretical Aspects of Computer Science (13th 1996 Grenoble, France)