Andy Galloway

• The dance manual
• ZB 2000 : Formal Specification and Development in Z and B