On the construction of programs - Mckeag, R. M. ed (Cambridge University Press, 1980)