Allen Newell Herbert A. Simon Computer Science as Empirical Inquiry: Symbols and Search. 113-126 1976 19 Commun. ACM 3 db/journals/cacm/cacm19.html#NewellS76