A discipline of programming by Edsger Wybe Dijkstra

A Discipline of Programming is a foundational work that redefines programming as a rigorous, mathematical discipline. In this influential book, …