Object oriented extension of Z. "Object Orientation in Z", S. Stepney et al eds, Springer 1992.

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 ]