SPIVEY J M <br/><br/>
Understanding Z A Specification Language and Its Formal Semantics 

 - New York  Cambridge University press 
 - 131PP 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Specification Language