28th Annual Symposium on Foundations of Computer Science (sfcs 1987)