ZUM '98 : the Z Formal Specification NotationJonathan P. Bowen, Andreas Fett, Michael G. Hinchey · First published 2011Open the Tome
