Author: Symposium on Theoretical Aspects of Computer Science (3rd 1986 Orsay, France)