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