George W. Cherry Brad S. Crawford The Situation in Object-Oriented Specification and Design. 83-98 1996 TRI-Ada http://doi.acm.org/10.1145/240678.240706 db/conf/sigada/triada96.html#CherryC96