Martin C. Henson

• Elements of functional languages
• Logics of specification languages
• ZB 2002 : Formal Specification and Development in Z and B