Zb 2002, Formal Specification And Development In Z And B by Jonathan P. Bowen & M.C. Henson