1. Zum Hilbertschen Aufbau der reellen Zahlen;Ackermann;Math. Annal.,1928
2. Minds and Machines,1964
3. Passages from the Life of a Philosopher;Babbage,1994
4. The Lambda Calculus. Its Syntax and Semantics;Barendregt,1984
5. From ENIAC to the stored-program computer: Two revolutions in computers;Burks,1980