F Symposium on Theoretical Aspects of Computer Science 1996 Grenoble