Principles of program design - Jackson, M.A. (Academic Press, 1975)