Alexander Borgida John Mylopoulos Harry K. T. Wong Generalization/Specialization as a Basis for Software Specification. 87-117 1982 On Conceptual Modelling (Intervale) db/conf/db-workshops/intervale82.html#BorgidaMW82