An Introduction to Computational Combinatories, Cambridge Computer Science Texts, 9