An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition 

 - 2nd 
 -  Clarendon Press  Ince D.C,  1992 
 - 286 
<br/><br/> An introduction to both the theory and practice of formal specification.  Commercial Software Development, Customer Requirements and Specification, Propositional Calculus, Predicate Calculus, Set Theory, Relations, Functions and Sequences, The Specification Language Z, Operations and Objects in Z, The Z Schema Calculus, Some Small Z Examples, A Large Z Specification, Z and Design, Summary, Further Reading. 
<br/><br/><label>ISBN: </label>198538367