Design by Contract, by Example
Ryan D. Mitchell, Jules McKim · 2001
Design by Contract, by Example is the first book of its kind to offer an example-based approach to learning this important paradigm. If you are a developer seeking ways to improve your craft, this book will give you the deeper understanding of contracts in software design that you've been looking for.