Fiona Hayes Derek Coleman Coherent Models for Object-Oriented Analysis. 171-183 1991 conf/oopsla/1991 OOPSLA db/conf/oopsla/oopsla91.html#HayesC91 http://doi.acm.org/10.1145/117954.117968