1. Bowen, J.P.,An Invoicing Case Study in Z. In M. Allemand, C. Attiogé and H. Habrias (eds.), International Workshop on: Comparing Systems Specification Techniques, “What questions are prompted by ones particular method of specification?”, pages 461–471, Nantes, France, 26–27 March 1998. IRIN, 2 Rue de la Houssinière-44322, Nantes edex 3, France.
2. UNU/IISTTechnical Report;J.P. Bowen,1999
3. Bowen, J.P., The Ethics of Safety-Critical Systems. Communications of the ACM, 43(4):91–97, April 2000.
4. Technical Report;J.P. Bowen,1999
5. Bowen, J.P., He Jifeng and Xu Qiwen, An Animatable Operational Semantics of the VERILOG Hardware Description Language. In Proc. IEEE International Conference on Formal Engineering Methods (ICFEM2000), York, UK, 4–7 September 2000, IEEE Computer Society Press, 2000.