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