Richard Mitchell: Analysis by Contract: UML with Attitude! TOOLS (29) 1999: 407