From problem to program - Wardle, M. E. (Cambridge University Press, 1972)