1. Anderson, A. R. (ed.): Minds and Machines. Englewood Cliffs, NJ: Prentice Hall, 1964. Nachdruck von Artikeln über philosophische Aspekte der Künstlichen Intelligenz. Enthält Turings bedeutenden Aufsatz von 1950 über Künstliche Intelligenz und Lucas’ auf Gödel gestützten Gegenangriff von 1961.
2. Bennett, C.: “On Random and Hard-to-Describe Numbers”. IBM Research Report RC-7483 (# 32272), IBM Research Laboratories, Yorktown Heights, NY, May 23, 1979. Informelle Diskussion der Eigenschaften von Chaitins Zahl und ihrer Konsequenzen für die Entscheidbarkeit von mathematischen Vermutungen.
3. Blum, L., M. Shub und S. Smale: “On a Theory of Computation and Complexity over the Real Numbers: NP-Completeness, Recursive Functions and Universal Machines”. Bull. Amer. Math. Soc. 21 (1989), I-46. Definitive mathematische Beschreibung des Blum-Shub-Smale-Maschinenmodells für Berechnungen.
4. Boerger, E.: Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Braunschweig/Wiesbaden: Vieweg, 1986.
5. Bolter, J. D.: Der digitale Faust. Stuttgart: DVA Oktogon, 1990.