Fiona Hayes, Derek Coleman: Coherent Models for Object-Oriented Analysis. OOPSLA 1991: 171-183