Object oriented extenSion of Z. "Object Orientation in Z", S. Stepney et al edS, Springer 1992.

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ al ] [ at ] [ b ] [ bj ] [ ec ] [ ed ] [ er ] [ et ] [ extenSion ] [ ge ] [ ie ] [ in ] [ io ] [ ne ] [ ng ] [ nS ] [ O ] [ pn ] [ pr ] [ S ] [ Si ] [ Z ]