Kevin Lano Howard P. Haughton Reuse and Adaptation of Z Specifications. 62-90 1992 conf/zum/1992 Z User Workshop db/conf/zum/zum1992.html#LanoH92