1. Mastercraft. Tata Consultancy Services,
http://www.tata-mastercraft.com
2. Aichernig, B.K., He, J., Liu, Z., Reed, M.: Theories and techniques of program modelling, design and verification. In: IFIP Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE) (2005)
3. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns, Elements of Reusable Object-Oriented Software. Addlison Wesley, London (1994)
4. He, J.: Link simulation with refinement. In: Proc. of The 25th anniversary of CSP (2004)
5. Lecture Notes in Computer Science;J. He,2005