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

In addition suitable contents:
[ 2 ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ B ] [ b ] [ bj ] [ ch ] [ D ] [ E ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ fo ] [ for ] [ G ] [ Go ] [ gr ] [ gu ] [ h ] [ hr ] [ ie ] [ in ] [ io ] [ ir ] [ IT ] [ J ] [ lu ] [ M ] [ MIT ] [ mm ] [ ng ] [ ns ] [ O ] [ OBJ ] [ OBJ2 ] [ object ] [ object-orientation ] [ pl ] [ plus ] [ rc ] [ re ] [ ro ] [ S ] [ se ] [ si ] [ T ] [ us ] [ ve ]