DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   MooZ
      <language, specification> An object-oriented extension of
      Z.
      ["Object Orientation in Z", S. Stepney et al eds, Springer
      1992].
      (1997-07-09)