Program Construction - Stone, R. G. (Cambridge: Cambridge University Press, 1987)