Design patterns and contracts - Jezequel Jean-Marc 1964-; Train Michel; Mingins Christine (Addison-Wesley, 2000)