Stone, R. G. Program Construction (Cambridge Computer Science Texts, Band 22)