APA (7th ed.) Citation

Roever, W. d., & Engelhardt, K. (1998). Data refinement: Model-oriented proof methods and their comparison (1. publ.). Cambridge Univ. Press.

Chicago Style (17th ed.) Citation

Roever, Willem-Paul de, and Kai Engelhardt. Data Refinement: Model-oriented Proof Methods and Their Comparison. 1. publ. Cambridge: Cambridge Univ. Press, 1998.

MLA (9th ed.) Citation

Roever, Willem-Paul de, and Kai Engelhardt. Data Refinement: Model-oriented Proof Methods and Their Comparison. 1. publ. Cambridge Univ. Press, 1998.