A Discipline of Programming - by Edsger W. Dijkstra

This seminal work in computer science introduces Dijkstra's approach to structured programming. It emphasizes rigorous, mathematical methods for designing and verifying programs, focusing on clarity, correctness, and efficiency.