Roever, W. -P. de <br/><br/>
Data refinement : model-oriented proof methods and their comparison 
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.] 
 - Cambridge  Cambridge University Press  1998 
 - xi, 423 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references (p. 404-418) and index 
<br/><br/><label>ISBN: </label>9780521641708 
<br/><br/><label>ISSN: </label>98024731 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs - Verification<br/>Computer Simulation<br/>Data structures (Computer science)
<br/><br/><label>Dewey Class. No.: </label>003.3 ROE