Proceedings : 34th Annual Symposium on Foundations of Computer Science, November 3-5, 1993, Palo Alto, California - Symposium on Foundations of Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (IEEE Computer Society Press, 1993)