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