Title: 17th Annual Symposium on Foundations of Computer Science, October 25-27, 1976, Houston, Texas