PPT Slide
- Dijkstra, A discipline of programming, 1976
last chapter, In retrospect
… The purpose of thinking is to reduce the detailed reasoning needed to a doable amount, and a separation of concerns is the way we hope to achieve this reduction. ...