Roever, Willem-Paul de <br/><br/>
Data refinement :  model-oriented proof methods and their comparison / 
Willem-Paul de Roever, Kai Engelhardt 
 - Cambridge, UK:  Cambridge University Press,  1998 
 - xi, 423 p.:  ill.;  24 cm. 
 - Cambridge tracts in theoretical computer science; 47 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0521641705 9780521641708 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer simulation<br/>Data structures (Computer science)<br/>Computer programs--Verification