Knowledge-oriented Specification Analysis and Transformation. - Shun-Tzu Tsai; Chien-Chiao Yang; Chih-Cheng Lien; Shih-Tsung Chen; Chien-Hao Hsiao (SEKE, 1989)