Turner, J. G.  <br/><br/>
The construction of formal specifications : an introduction to the model-based and algebraic approaches /J.G. Turner, T.L. McCluskey. 

 - London ; New York : McGraw-Hill, c1994. 
 - xii, 420 p. : ill. ; 25 cm. 
<br/><br/><label>ISBN: </label>0077077350 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.
<br/><br/><label>Dewey Class. No.: </label>005.12 TUR