Principles of Program Design - Jackson, M. (uk : academic press, 1975)