Extending the Useful Application Domain for Formal Methods. - Paul A. Swatman; Danielle C. Fowler; C. Y. Michael Gan (Z User Workshop, 1991)