Paul A. Swatman, Danielle C. Fowler, C. Y. Michael Gan. Extending the Useful Application Domain for Formal Methods. In J. E. Nicholls, editor, Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Workshops in Computing, pages 125-144, Springer, 1991.
Abstract is missing.