Research directions in object oriented programming - Shriver, Bruce (Cambridge MIT Press, 1987)