"Open Heart Surgery
Chapter 4 Design Principles I Correctness and Robustness.
Chapters 4&5 Design Principles: Correctness, Robustness, Flexibility, Reusability, and Efficiency.