Jim Woodcock & Jim Davies - <br/><br/>
Using Z: Specification, Refinement, And Proof 

 -   Prentice Hall Europe  ©1996 
<br/><br/><label>ISBN: </label>9780139484728  53.95 
<br/><br/><label>Dewey Class. No.: </label>005.12 WOO