James C. McKim David A. Mondou Class interface design: Designing for correctness. 85-94 1993 23 Journal of Systems and Software 2 http://dx.doi.org/10.1016/0164-1212(93)90075-9 db/journals/jss/jss23.html#McKimM93