……等等，特别是银色封面的“计算机科学文本与专著”（Texts and Monographs In Computer Science）丛书（整套丛书就是一场饕餮盛宴，应该囫囵吞下，再就着偷藏的传世美酒一饮而尽）：Gries 的《编程的科学》（The Science of Programming）；Alagic 和 Arbib 的《结构良好且正确的程序设计》（The Design of Well-Structured and Correct Programs）。Gries 编选的《编程方法学》（Programming Methodology）汇集了结构化方法的各种流派，贡献者包括……
…and others, specially in the silver "Texts and Monographs In Computer Science" books (the entire series is a feast of delight that should be devoured, and washed down with heirloom, stolen wine): The Science of Programming, Gries. The Design of Well-Structured and Correct Programs, Alagic and Arbib. The selection Programming Methodology edited by Gries has various approaches to the structured method, with contributions…
David Gries 写的《编程的科学》（The science of programming）也是一本很好的入门书，教你如何用数理逻辑和推理来写程序。这本书受 Dijkstra 和 Hoare 技术思想的启发，写得通俗易懂，让人很容易……
The book 'The science of programming' of David Gries is also a nice introduction to writing programs using mathematical logic and reasoning. The book is inspired by the techniques of Dijkstra and Hoare, and written in a way that's easy to…
……他事后总结的想法。（这类回顾读起来几乎总是很有意思，参见 Niklaus Wirth 的《透过窥镜看好点子》（Good ideas through the looking glass）。）[1]：感兴趣的读者可以去看看 David Gries 写的那本神作《编程的科学》（The Science of Programming）。
…he had in hindsight. (Which almost always makes for an interesting read, cf. Niklaus Wirth: "Good ideas through the looking glass".) [1]: Interested readers might want to check out the excellent "The Science of Programming" by David Gries.
EWDijkstra、CAR Hoare 或 David Gries 的任何书都行。David Gries 的《编程的科学》（The Science of Programming）非常棒，涵盖了编程所需的数学知识（比如集合论），然后用它自己设计的编程语言（基于 Dijkstra 的语言）来探讨编程语言概念……
Anything by EWDijkstra or CAR Hoare or David Gries. The Science of Programming by David Gries was very good, it covered some maths needed for programming such as set theory and then it used its own programming language (based on Dijkstra's) to discuss programming language concepts…
1) David Gries 的《编程的科学》（The Science of Programming）是一本极好的书，探讨了基于数学证明的编程方法。2) John H. Conway 和 Richard Guy 的《数字之书》（The Book of Numbers）是一本绝妙的书，探讨了……
1) "The Science of Programming", by David Gries, is an excellent book dealing with mathematical proof based approach to programming. 2) "The Book of Numbers", by John H. Conway and Richard Guy is a beautiful book which discusses…
……等等，特别是银色封面的“计算机科学文本与专著”（Texts and Monographs In Computer Science）丛书（整套丛书就是一场饕餮盛宴，应该囫囵吞下，再就着偷藏的传世美酒一饮而尽）：Gries 的《编程的科学》（The Science of Programming）；Alagic 和 Arbib 的《结构良好且正确的程序设计》（The Design of Well-Structured and Correct Programs）。Gries 编选的《编程方法学》（Programming Methodology）汇集了结构化方法的各种流派，贡献者包括……
…and others, specially in the silver "Texts and Monographs In Computer Science" books (the entire series is a feast of delight that should be devoured, and washed down with heirloom, stolen wine): The Science of Programming, Gries. The Design of Well-Structured and Correct Programs, Alagic and Arbib. The selection Programming Methodology edited by Gries has various approaches to the structured method, with contributions…
David Gries 写的《编程的科学》（The science of programming）也是一本很好的入门书，教你如何用数理逻辑和推理来写程序。这本书受 Dijkstra 和 Hoare 技术思想的启发，写得通俗易懂，让人很容易……
The book 'The science of programming' of David Gries is also a nice introduction to writing programs using mathematical logic and reasoning. The book is inspired by the techniques of Dijkstra and Hoare, and written in a way that's easy to…
……他事后总结的想法。（这类回顾读起来几乎总是很有意思，参见 Niklaus Wirth 的《透过窥镜看好点子》（Good ideas through the looking glass）。）[1]：感兴趣的读者可以去看看 David Gries 写的那本神作《编程的科学》（The Science of Programming）。
…he had in hindsight. (Which almost always makes for an interesting read, cf. Niklaus Wirth: "Good ideas through the looking glass".) [1]: Interested readers might want to check out the excellent "The Science of Programming" by David Gries.
EWDijkstra、CAR Hoare 或 David Gries 的任何书都行。David Gries 的《编程的科学》（The Science of Programming）非常棒，涵盖了编程所需的数学知识（比如集合论），然后用它自己设计的编程语言（基于 Dijkstra 的语言）来探讨编程语言概念……
Anything by EWDijkstra or CAR Hoare or David Gries. The Science of Programming by David Gries was very good, it covered some maths needed for programming such as set theory and then it used its own programming language (based on Dijkstra's) to discuss programming language concepts…
你可能也想看看 David Gries 的《编程的科学》（The Science of Programming）：https://www.springer.com/gp/book/9780387964805
You might also want to check out David Gries, the science of programming: https://www.springer.com/gp/book/9780387964805
1) David Gries 的《编程的科学》（The Science of Programming）是一本极好的书，探讨了基于数学证明的编程方法。2) John H. Conway 和 Richard Guy 的《数字之书》（The Book of Numbers）是一本绝妙的书，探讨了……
1) "The Science of Programming", by David Gries, is an excellent book dealing with mathematical proof based approach to programming. 2) "The Book of Numbers", by John H. Conway and Richard Guy is a beautiful book which discusses…