中文摘要：

［1］The RAISE Language Group, The RAISE Specification Language, London, Prentice Hall, 1992:2-7 ［2］Pren S., and Hansen I. φ., Formal methods appraisal,Technical Report FMA/DDC/SP, Dansk Datamatik Center,1983 ［3］Miao Huaikou, Li Gang, Zhu Guanming, Software Engineering Language -Z, Shanghai Scientific and Technological Literature Publishing House, Shanghai, April 1999:11-29 (in Chinese) ［4］Miao Huaikou, The Z Notation Supporting System: Z User Studio, Technical Report of Shanghai University, Mar. 2001(in Chinese)