1. R.L. Backhouse: The Syntax of Programming Languages: Theory and Practice. London: Prentice-Hall International 1979
2. J. Backus: Can Programming be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs. Commun. ACM 21, 613–641 (1978)
3. F.L. Bauer, G. Goos: Informatik. Eine einführende Übersicht, Bände 1, 2. Berlin Heidelberg New York: Springer-Verlag, 4. Aufl. 1991, 1992
4. F.L. Bauer, H. Wössner: Algorithmische Sprache und Programmentwicklung. Berlin Heidelberg New York: Springer-Verlag, 2. Aufl. 1984
5. F.L. Bauer, M.Wirsing: Elementare Aussagenlogik. Mathematik für Informatiker. Berlin Heidelberg New York: Springer-Verlag 1991