author : Ian J. Hayes

Books

• Specification Case Studies. 1987
• Specification Case Studies: 2nd edition. 1993

Papers/Articles

• Towards Libraries for Z. 1993. In 7th Z User Workshop
• A Formal Semantics for a Language with Type Extension. 1995. In ZUM '95
• A predicative semantics for real-time refinement. 2003. In Programming Methodology