TY  - BOOK
AU  - Roever,Willem-Paul de
AU  - Engelhardt,Kai
TI  - Data refinement: model-oriented proof methods and their comparison 
T2  - Cambridge tracts in theoretical computer science; 47
SN  - 0521641705
PY  - 1998///
CY  - Cambridge, UK
PB  - Cambridge University Press
KW  - Computer simulation
KW  - Data structures (Computer science)
KW  - Computer programs
KW  - Verification
N1  - Includes bibliographical references and index
ER  -