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