~ tracking down this book ~
Formal Object-oriented Development by Kevin Lano — OmList