Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada (IEEE Computer Society Press, 1993)