Techniques of program and system maintenance. - Parikh, Girish (Wellesley QED, 1988)