Goguen, J. et al "Extensions and Foundations for Object-Oriented Programming"

Shriver B. (1987) Shriver B. et al eds, Research Directions in Object-Oriented Programming, MIT Press 1987.   Joseph Goguen

Languages mentioned FOOPS {1987}