Silvio Romero de Lemos Meira Ana Cavalcanti MooZ Case Studies. 37-58 1992 conf/zum/1992oo Object Orientation in Z db/conf/zum/ooz1992.html#MeiraC92