[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science