Object-oriented programming : A UNIFIED FOUNDATION. - Castagna, Giuseppe (Birkhaeuser Verlag, 1997)