1. Liu, S.: A Formal Definition of FRSM and Applications. International Journal of Software Engineering and Knowledge Engineering 8(3), 253–281 (1998)
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. Liu, S., Jeff, A., Offutt, Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A Formal Engineering Methodology for Industrial Applications. In: IEEE Transactions on Software Engineering, Special issue on Formal Methods, January 1998, vol. 24(1), pp. 24–45. IEEE Computer Society Press, Los Alamitos (1998)
4. Diller, A.: Z An Introduction to Formal Methods. John Wiley & Sons, London (1990)
5. Dawes, J.: The VDM-SL Reference Guide, Pitman (1991)