Where are the laws of object-oriented programming (1998)

by Paulo Borba
Venue:In I Brazilian Workshop on Formal Methods