Author: Symposium on Foundations of Computer Science (17th 1976 Houston)