Principles of program design - Jackson, M.A. (A.P.I.C. Studies in Data Processing, 1975)