1. J. W. Backus. The syntax and semantics of the proposed international algebraic language of the Zürich ACM-GRAMM conference. In Proceedings of the International Conference on Information Processing, Paris, pp. 125–132. UNESCO, 1959.
2. J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Commun. ACM, 6(1):1–17, 1963. Edited by P. Naur.
3. H. Bekič, D. Bjørner, W. Henhapl, C. B. Jones, and P. Lucas. On the formal definition of a PL/I subset (selected parts). In Programming Languages and Their Definition – Hans Bekič (1936–1982), Lecture Notes in Computer Science, vol. 177, pp. 107–155. Springer, Berlin, 1984 (Full version published as Technical Report 25.139, IBM Laboratory, Vienna, December 1974).
4. J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. Addison-Wesley, Reading, MA, 1989.
5. D. Bjørner and O. N. Oest. Towards a Formal Description of Ada, Lecture Notes in Computer Science, vol. 98. Springer, Berlin, 1980.