Andy GallowayBooksZB 2000 : Formal Specification and Development in Z and BThe dance manualAuthor data: Open Library