I do think Concepts, Techniques, and Models of Computer Programming by Van Roy and others, is a more comprehensive book on the same topic. It ties together a lot of programming into a systematic science.