Juris Hartmanis Response to the Essays "On Computational Complexity and the Nature of Computer Science". 59-61 1995 27 ACM Comput. Surv. 1 db/journals/csur/csur27.html#Hartmanis95a