1. DE BAKKER, J.W., Recursive Procedures, Mathematical Centre Tracts 24, Mathematisch Centrum, Amsterdam, 1971.
2. DE BAKKER, J.W., Fixed points in programming theory, in: Foundations of Computer Science (J.W. de Bakker, ed.), p.1–49, Mathematical Centre Tracts 63, Mathematisch Centrum, 1975.
3. DE BAKKER, J.W. & W.P. DE ROEVER, A calculus for recursive program schemes, in: Automata, Languages and Programming (M. Nivat, ed.), p.167–196, North-Holland, Amsterdam, 1973.
4. DE BAKKER, J.W. &. L.G.L.T. MEERTENS, On the completeness of the inductive assertion method, to appear in J. of Comp. Syst. Sciences.
5. HINDLEY, J.R., B. LERCHER & J.P. SELDIN, Introduction to Combinatory Logic, Cambridge University Press, Cambridge, 1972.