Object-oriented programming : a unified foundation / - Castagna, Giuseppe, (Birkhauser,, 1997)