Observation equivalences for the semantics of inheritance. - C. Balzarotti; Fiorella de Cindio; Lucia Pomello (FMOODS, 1999)