A Tool for Defining the Architecture of Z Specifications.

Andrew Coombes John A. McDermid A Tool for Defining the Architecture of Z Specifications. 77-92 1990 conf/zum/1990 Z User Workshop db/conf/zum/zum1990.html#CoombesM90