Shriver B. et al eds, Research Directions in Object-Oriented Programming, MIT Press 1987.
(1987)
Goguen, J. et al (1987)
Goguen, J. et al "Extensions and Foundations for Object-Oriented Programming"