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 ]