From the linked article : "How to Design Programs is the first text book on programming that explicitly spells out how to construct programs in a systematic manner."