\input zb-basic
\input zb-ioport
\iteman{io-port 05485662}
\itemau{De Roever, Wilhelm-Paul; Engelhardt, Kai}
\itemti{Data refinement: Model-oriented proof methods and their comparison. Reprint of the 1998 hardback ed.}
\itemso{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).}
\itemab
See the review of the hardback edition (1998) in Zbl 0955.68076
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1017/CBO9780511663079}
\end