Intelligent Support for Specifications Transformation. - Jeffrey J. P. Tsai; Joel C. Ridge (IEEE Softw., 1988)