J. J. Masterson K. P. Ishaq A. T. Hockley An Approach to providing Support Tools for Formal Specification. 1-14 1988 conf/forte/1988 FORTE db/conf/forte/forte1988.html#MastersonIH88