Author: Symposium on Logic in Computer Science (9th 1994 Paris, France)