Silvio Romero de Lemos Meira Ana Cavalcanti Modular Object-oriented Z Specifications. 173-192 1990 conf/zum/1990 Z User Workshop db/conf/zum/zum1990.html#MeiraC90