Computer programming methodology - Turski, W. M. (rz1, 1978)