Telefona gönder: Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada /