1. J. v. Neumann Logical Design of Electronic Computing Instruments. Collected Works, vol. 5, Oxford, Pergamon 1963
2. Byron E. Phelps Early Electronic Computer Developments at IBM Annals of the History of Computing vol. 2, Nr. 3, Juli 1980
3. F.L. Bauer „Verfahren zur Sicherung der Übertragung von Nachrichtenimpulsgruppen gegenüber Störungen.“ Deutsches Patentamt Nr. 892767, ausgg. am 8. 10. 1953
4. The Formula-Controlled Logical Computer “Stanislaus”. Math. Tables and other Aids to Comp. vol. 14 (1960) p. 64–67
5. F.L. Bauer (zusammen mit K. Samelson) Sequentielle Formelübersetzung. El. Rechenanlagen, 1 (1959), S. 176–182