Program construction - Stone, R. G. (Richard Gary) 1932- (Cambridge University Press, 1987)