Object-oriented programming : A UNIFIED FOUNDATION - Castagna, Giuseppe (Progress in Theoretical Computer Science / Birkhaeuser Verlag., 1997)