EZ: A System for Automatic Prototyping of Z Specifications. - Veronika Doma; Robin A. Nicholl (VDM Europe (1), 1991)