Design Patterns and Contracts. - Jean-Marc Jézéquel; Michel Train; Christine Mingins (Pearson / Prentice Hall, 2000)