Hayes and Coleman (1991)

Hayes F. and Coleman D. (1991)

Coherent models for object-oriented analysis

In Proc. OOPSLA'91, ACM Sigplan Notices 26(4), pp. 171-183