Peter T. Breuer Z! in Progress: Maintaining Z Specifications. 295-318 1990 conf/zum/1990 Z User Workshop db/conf/zum/zum1990.html#Breuer90