Eight annual IEEE symposium on logic in computer science proceedings, June 19-23, 1993, Montreal, Canada