FOOP

OBJ2 plus object-orientation.

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