1. Xiaolei, G., Huaikou, M., Yihai, C.: SOZL language: A New Software Development Methodology. In: 16 IFIP World Computer Congress, Beijing, China, August 21-25 (2000)
2. Huaikou, M., Xiaolei, G., Gang, L.: The Comparison and Combination of Structured Methodology, Object-Oriented Methodology and Formal Methods. Computer Engineering & Science 21(4) (1999)
3. Spivey, J.M.: Understanding Z: A Specification Language and Its Formal Semantics. In: Cambridge Tracts in Theoretical Computer Science, vol. 3, Cambridge University Press, Cambridge (1988)
4. Liu, S.: A Formal Definition of FRSM and Applications. International Journal of Software Engineering and Knowledge Engineering 8(3), 253–281 (1998)
5. Liu, S.: A Formal Requirements Specification Method Based on Data Flow Analysis. The Journal of Systems and Software 21, 141–149 (1993)