Short works
- Extending the Useful Application Domain for Formal Methods. 1992. (In 6th Z User Workshop )
- Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals. 1993. (In 7th Z User Workshop )
- Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. 2000. (In ZB 2000 )