Author: f Symposium on Theoretical Aspects of Computer Science 1988 Bordeaux