Program construction - Stone, R. G., 1950- (Cambridge computer science texts, 1987)