Roever, W. d., & Engelhardt, K. (1998). Data refinement: Model-oriented proof methods and their comparison (1. publ.). Cambridge Univ. Press.
Chicago-Zitierstil (17. Ausg.)Roever, Willem-Paul de, und Kai Engelhardt. Data Refinement: Model-oriented Proof Methods and Their Comparison. 1. publ. Cambridge: Cambridge Univ. Press, 1998.
MLA-Zitierstil (9. Ausg.)Roever, Willem-Paul de, und Kai Engelhardt. Data Refinement: Model-oriented Proof Methods and Their Comparison. 1. publ. Cambridge Univ. Press, 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.