本書是圖靈獎獲得者艾茲格·W.迪杰斯特拉（EdsgerW.Dijkstra）的最重要的著作，也是編程領域里經典著作中的經典。作者基于其敏銳的洞察力和長期的實際編程經驗，對基本順序程序的描述和開發中的許多關鍵問題做了獨到的總結和開發。本書討論了基本順序程序的本質特征、程序描述和對程序行為（正確性）的推理，并通過從簡單到復雜的一系列程序的思考和開發范例，闡釋了基于嚴格的邏輯推理開發正確而可靠的程序的過程。本書寫于20世紀70年代后期，但其對于編程領域的技術開發，對于編程語言的發展和程序理論研究的深刻影響持續至今。本書值得每一個關注計算機科學技術的本質，冀求在程序和軟件領域有長遠發展的計算機工作者、教師和學生閱讀。