David J. Duke Enhancing the Structure of Z Specifications. 329-351 1991 conf/zum/1991 Z User Workshop db/conf/zum/zum1991.html#Duke91