Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings (IEEE Computer Soc. Pr., 1993)