Computer programming methodology - Turski, Władysław M. (Heyden, 1978)