Author: Symposium on Analytic Computational Complexity Carnegie-Mellon University 1975.