Author: Symposium on Theoretical Aspects of Computer Science (1st 1984 Paris, France)