author : Ian J. Hayes

Books

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

Short works

• 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 )