Symposium on Logic in Computer Science (8th 1993 Montreal, Quebec)