John E. Savage Will Computer Science Become Irrelevant? 35-37 1995 27 ACM Comput. Surv. 1 db/journals/csur/csur27.html#Savage95