~ tracking down this book ~
Design by Contract, by Example by Richard Mitchell — OmList