id: 05485662
dt: b
an: 05485662
au: De Roever, Wilhelm-Paul; Engelhardt, Kai
ti: Data refinement: Model-oriented proof methods and their comparison. Reprint
    of the 1998 hardback ed.
so: Cambridge Tracts in Theoretical Computer Science 47. Cambridge: Cambridge
    University Press (ISBN 978-0-521-10350-3/pbk). xi, 423~p.
    \sterling~40.00 (2009).
py: 2009
pu: Cambridge: Cambridge University Press
la: EN
cc: 
ut: 
ci: Zbl 0955.68076
li: doi:10.1017/CBO9780511663079
ab: See the review of the hardback edition (1998) in Zbl 0955.68076
rv: