Author: Symposium on New Directions and Recent Results in Algorithms and Complexity Carnegie-Mellon University 1976.