28th Annual Symposium on Foundations of Computer Science, October 12-14, 1987 - Symposium on Foundations of Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (IEEE Computer Society Press, 1987)