An 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 ] [ am ] [ ar ] [ arc ] [ at ] [ b ] [ bj ] [ ch ] [ du ] [ ec ] [ ed ] [ er ] [ et ] [ extension ] [ fi ] [ file ] [ ge ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ Lex ] [ mo ] [ mod ] [ module ] [ na ] [ ne ] [ ng ] [ ns ] [ O ] [ object ] [ object-oriented ] [ ph ] [ pn ] [ pr ] [ query ] [ rc ] [ re ] [ s ] [ se ] [ si ] [ Z ]