本書是圖靈獎獲得者艾茲格·W. 迪杰斯特拉（Edsger W. Dijkstra）的最重要的著作，也是程式設計領域裡經典著作中的經典。作者基於其敏銳的洞察力和長期的實際程式設計經驗，對基本順序程式的描述和開發中的許多關鍵問題做了獨到的總結和開發。
 
本書討論了基本順序程式的本質特徵、程式描述和對程式列為（正確性）的推理，並通過從簡單到複雜的一系列程式的思考和開發範例，闡釋了基於嚴格的邏輯推理開發正確而可靠的程式的過程。

本書寫於20世紀70年代後期，但其對於程式設計領域的技術開發，對於程式設計語言的發展和程式理論研究的深刻影響持續至今。本書值得每一個關注電腦科學技術的本質，冀求在程式和軟體領域有長遠發展的電腦工作者、教師和學生閱讀。

艾茲格 W.迪科斯徹 （Edsger Wybe Dijkstra，1930—2002），荷蘭人，電腦科學家，畢業就職于荷蘭Leiden大學，早年鑽研物理及數學，後轉向計算學。他曾在1972年獲得圖靈獎，還獲得過1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE電腦科學教育教學傑出貢獻獎以及2002年ACM PODC**影響力論文獎。

第0章執行抽象 1
第1章 程式設計語言的作用6
第2章 狀態及其特徵9
第3章語義的性質14
第4章一種程式設計語言的語義特徵22
第5章兩個定理35
第6章論完滿終止結構的設計39
第7章再論歐幾裡得演算法43
第8章幾個小例子的形式化處理49
第9章論受限的非確定性70
第10章 簡論記法：“變數的作用域”77
第11章 陣列變數92
第12章 線性檢索定理103
第13章 下一個排列105
第14章 荷蘭國旗問題109
第15章 更新順序檔115
第16章 再論歸併121
第17章 R．W．HAMMING貢獻的一個練習127
第18章 模式匹配問題133
第19章 將一個數寫成兩個平方之和139
第20章 大數的最小素因數142
第21章 最孤立村莊問題148
第22章 最短子支撐樹問題153
第23章 記錄等價類的REM演算法160
第24章 三維空間的凸包問題167
第25章 有向圖的最大強連通分支190
第26章 論手冊和實現199
跋206