A annotated bibliography on computer program engineering - Guttag, John V. (1975)