Alexandre Marcos Lins de Vasconcelos John A. McDermid Incremental processing of Z specifications. 53-69 1992 conf/forte/1992 FORTE db/conf/forte/forte1992.html#VasconcelosM92