Author: Symposium on Theoretical Aspects of Computer Science (7th 1990 Rouen, France)