Donghee

http://www.cs.utexas.edu/users/EWD/
http://www.cs.utexas.edu/users/EWD/indexEWDnums.html - Dijkstra 의 컬럼들을 읽을 수 있는 곳.

StepwiseProgramConstruction [구조적프로그래밍]

http://www.acm.org/classics/dec95/

* [[http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD340.PDF|TheHumbleProgrammer]]
* [[http://www.cs.utexas.edu/users/EWD/ewd05xx/EWD594.PDF]|[Burnhard]]가 추천
* [[http://cs.sungshin.ac.kr/~dkim/dop-preface.html|A Discipline programming]] [Burnhard]가 추천 - http://books.regehr.org/reviews/disciplineofprogramming.html

다익스트라의 프로그래밍의 수련(修練)

프로그래밍언어연구회 논문집 다익스트라 특별기고

김도형 교수의 정보과학회지 연재 프로그래밍의 수련 0장. 수행의 추상화 두 번째, 프로그래밍 언어의 역할, 상태와 그 특성의 규정 그리고 의미의 규정 세 번째, 프로그래밍 언어의 의미규정 네 번째, 프로그래밍 언어의 의미규정 다섯 번째, 프로그래밍 언어의 의미규정 II 여섯 번째, 두 개의 정리 일곱 번째, 적절히 종료하는 구조의 설계에 대하여 여덟 번째, 유클리드 알고리즘의 재고찰(再考察) 여덟 번째, 유클리드 알고리즘의 재고찰(再考察)-2 아홉 번째, 몇 가지 작은 예제들의 정형적 처리 열 번째, 몇 가지 작은 예제들의 정형적 처리 - II 열한 번째, 몇가지 작은 예제들의 정형적 처리-III

http://youtube.com/user/smpusr EdsgerDijkstra from youtube