1. Back, R.-J.: On correct refinement of programs. J. Comput. Syst. Sci. 23(1), 49–68 (1981)
2. Graduate Texts in Computer Science;R-J Back,1998
3. Backhouse, R.: An exploration of the Bird-Meertens formalism. In: International Summer School on Constructive Algorithmics, Hollum, Ameland. STOP project: Also available as Technical report CS 8810, p. 1988. Groningen University, Department of Computer Science (1989)
4. Backus, J.W., et al.: Report on the algorithmic language ALGOL 60. Numer. Math. 2(1), 106–136 (1960)
5. Barron, D.W.: Christopher Strachey: a personal reminiscence. Comput. Bull. 2(5), 8–9 (1975)