Principles of program design - Jackson, Michael A. 1936- (Acad. Press, 1976)