1. Bauer, F. L. (1960), The Formula-Controlled Logical Computer, Stanislaus‘, in: Math. Tables Aids Comp. 14 (1960), S. 64–67
2. Bauer, F. L. (1973), A Philosopy of Programming. A Course of Three Lectures given at the Imperial College of Science and Technology, London, October 1973; Abt. Mathematik der TU München, Bericht Nr. 7318,1973. Wieder abgedruckt in: F. L. Bauer, K. Samelson (Hrsg.), Language Hierarchies and Interfaces (Lecture Notes in Computer Science 46), Berlin, Heidelberg, New York 1976, S. 194-241
3. Bauer, F. L. (1990), The Cellar Principle of State Transition and Storage Allocation; in: Annals Hist Comput 12 (1990), S. 41–49
4. Bauer, F. L. (2000), The Plankalkül of Konrad Zuse — Revisited., in: Raúl Rojas, Ulf Hashagen (Hrsg.), The First Computers; Cambridge, Mass, S. 277–293
5. Bauer, F. L.; Samelson, K. (1957), Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschine zur Ausübung des Verfahrens; Patentanmeldung Deutsches Patentamt, Nr. B 44 122 IX 42m, eingg. am 30. März 1957, ausgelegt 1. Dez. 1960. Erteilt DE-PS 1094 019, 12.8.1971