Martin HensonBooksZB 2005 : Formal Specification and Development in Z and BSpaghetti BolognaiseAuthor data: Open Library