APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Roever, W. P. de, Kai Engelhardt, and Karl-Heinz Buth. Data Refinement: Model-oriented Proof Methods and Their Comparison. Cambridge ; New York: Cambridge University Press, 1998.

MLA (9th ed.) Citation

Roever, W. P. de, et al. Data Refinement: Model-oriented Proof Methods and Their Comparison. Cambridge University Press, 1998.