Proceedings : 37th Annual Symposium on Foundations of Computer Science, October 14-16, 1996, Burlington, Vermont - Symposium on Foundations of Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (IEEE Computer Society Press, 1996)