1. Hall, J.A.: Seven Myths of Formal Methods. IEEE Software 7(5), 11–19 (1990)
2. Jonathan, P.B.: Seven More Myths of Formal Methods. IEEE Computer 12(4), 34–41 (1995)
3. NASA JPL: Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Pasadena , CA , USA. (Manual) - Vol (I) : Planning and Technology Insertion , (NASA2GB2002295), (1995) - Vol (II): A Practitioner’s Companion, (NASA2GB2001297) (1997)
4. Website, CS Department of Peking University, Beijing, China,
http://www.cs.pku.edu.cn/
5. Website, CS Department of Nanjing University, Nanjing, China,
http://www.cs.nju.edu.cn/