APA (7th ed.) Citation

Roever, W. d., & Engelhardt, K. (1998). Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt with the assistance of Karl-Heinz Buth ... [et al.]: Model-oriented proof methods and their comparison. Cambridge University Press.

Chicago Style (17th ed.) Citation

Roever, W.-P. de, and Kai Engelhardt. Data Refinement : Model-oriented Proof Methods and Their Comparison / Willem-Paul De Roever, Kai Engelhardt with the Assistance of Karl-Heinz Buth ... [et Al.]: Model-oriented Proof Methods and Their Comparison. Cambridge: Cambridge University Press, 1998.

MLA (9th ed.) Citation

Roever, W.-P. de, and Kai Engelhardt. Data Refinement : Model-oriented Proof Methods and Their Comparison / Willem-Paul De Roever, Kai Engelhardt with the Assistance of Karl-Heinz Buth ... [et Al.]: Model-oriented Proof Methods and Their Comparison. Cambridge University Press, 1998.

Warning: These citations may not always be 100% accurate.