Reliable object-oriented software applying analysis and design - Seidewitz (SigsBooks, 1995)