Principles of program design - Jackson, M. A. (rz1, 1978)