Symposium on Theoretical Aspects of Computer Science (9th 1992 Cachan, France)