David Lightfoot, Formal Specification Using Z, Palgrave, 1998, ISBN: 0333763270. (Also French Edition) 

Clare Martin, Jeremy Gibbons and Ian Bayley, Disciplined, efficient, generalised folds for nested datatypes. Submitted to Formal Aspects of Computing, 2002

Zhu, H., A formal specification language for agent-oriented software engineering, Proc. of AAMAS'2003. 

East, Ian, The Honeysuckle Programming Language: An Overview, accepted for publication in IEE Software. 

Zhu, H., Formal Specification of Evolutionary Software Agents, Proc. ICFEM’2002, Shanghai, China, Oct. 2002, Springer LNCS 2495, Formal Methods and Software Engineering, George, C. and Miao, H., (eds), 2002, pp249~261.

Green, M., and Abdallad, A. E., PERFORMANCE ANALYSIS AND BEHAVIOUR TUNING FOR OPTIMISATION OF COMMUNICATING SYSTEMS, in Proceedings of WoTUG Communicating Process Architectures 2002, Reading, September 2002.

Green, M., VISUALISATION AND ANIMATION OF CONCURRENT SYSTEMS SPECIFIED IN CSP, PhD Thesis, University of Reading, 2002.

Zhu, H., Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem, Proc. of AOIS’2002 at AAMAS’02, Bologna, Italy, 16 July, 2002, pp20~34.

Zhu, H. and He, X., A methodology of testing high-level Petri nets, Information and Software Technology, Volume 44, Issue 8, 1 June 2002, Pages 473-489.

Zhu, H., Validating Algebraic Class Testing in Final Algebra, Technical report CMS-TR-02-02, School of Computing and Mathematical Sciences, Oxford Brookes University, UK, April 2002.

Clare Martin and Jeremy Gibbons, On the Semantics of Nested Datatypes. In Information Processing Letters, 80(5) p233-238, December 2001.

Zhu, H., SLABS: A Formal Specification Language for Agent-Based Systems, International Journal of Software Engineering and Knowledge Engineering, Vol. 11. No. 5, pp529~558. Nov. 2001

Zhu, H., The role of caste in formal specification of MAS, Proc. of PRIMA’2001, Springer LNCS 2132, Taipei, Taiwan, July 2001, pp1~15.

Zhu, H. and He, X., An Observational Theory of Integration Testing for Component-Based Software Development, Proc. of IEEE 25th International Conference on Computer Software and applications (COMPSAC’2001), 8-12 October 2001, Chicago, Illinois.

Green, M. and Abdallah A. E., INTERFACING HASKELL WITH JAVA, in Trends in Functional Programming,  G. Michaelson and P.Trinder (eds.), Intellect, November 2000. 

Abdallah, A. E. and Green, M., A CSP-BASED INTEGRATED TOOL FOR THE VISUALISATION, ANIMATION, AND PERFORMANCE EVALUATION OF MESSAGE PASSING ALGORITHMS, in Proceedings of the IEEE Conference on Formal Engineering Methods, (ICFEM), York, August 2000.

Zhu, H, and Jin, L., Scenario analysis in an automated tool for requirements engineering, The Journal of Requirements Engineering, Vol. 5, No.1, pp2~22, June 2000.

Zhu, H., Formal Specification of Agent Behaviour through Environment Scenarios, in FAABS 2000, First Goddard Workshop on Formal Approaches to Agent-Based Systems, April 5-7, 2000, NASA Goddard Space Flight Center, April 2000, Springer LNCS 1871, pp263-277.

Zhu, H. and He, X., Constructions of behaviour observation schemes in software testing, Proc. 5th IEEE Symposium on HASE’2000, 15~17 Nov, 2000, Albuquerque, New Mexico, USA, pp7~16.

Zhu, H., and Jin, L., Automating scenario-driven structured requirements engineering, Proc. 24th IEEE Computer Society International Conference on Computer Software and Applications (COMPSAC’2000), 25-27 Oct. 2000, Taipei, Taiwan, pp311~316.

Luqi, Chang, C.K., and Zhu, H., Specifications in software prototyping, Journal of Systems and Software, Vol.42, No. 2, pp125~140, Aug. 1998.

Zhu, H. and Jin, L., The axiomatic approach to the foundation of software testing: an informal review, Post-Conference Proceedings of International Symposium on Computing and Microelectronics, Beijing, May 3, 1998. Beijing University Press, Dec. 1998, pp129~144.

Jin, L. and Zhu, H., Automatic generation of formal specification from requirements definition, Proc. of IEEE 1st International Conference on Formal Engineering Methods, Nov. 1997, Hiroshima, Japan, pp243-251.