Symposium on Theoretical Aspects of Computer Science (5th 1988 Bordeaux, France)