1. Liu Shaoying. A formal definition of FRSM and applications [J]. International Journal of Software Engineering and Knowledge Engineering, September 1998, 8(3): 253–281.
2. Miao Huaikou, Gao Xiaolei. The comparison and combination of structured methodology, object-oriented methodology and formal methods[J]. Computer Engineering and Science, 1999, 21(4): 27–31.
3. Liu Shaoying, Offutt A J, Ho-Stuart C, et al. SOFL: A formal engineering methodology for industrial applications [A]. IEEE Transactions on Software Engineering, Special Issue on Formal Methods [C]. IEEE Computer Society Press, January 1998, 24(1): 24–45.
4. Miao Huaikou, Li Gang, Zhu Guanming. Software Engineering Language [M]. Shanghai Science and Technology Literature Press, Shanghai, 1999 (in Chinese).
5. Antoni Diller. Z—An Introduction to Formal Methods [M]. John Wiley & Son, London, 1990.