Refinement in Z and Object-Z

MLA

Derrick, John, Derrick, and Eerke A Boiten. Refinement In Z and Object-z. Springer London, 2014.

APA

Derrick, J., Derrick, D., & Boiten, E. A. (2014). Refinement in Z and Object-Z. Springer London.

Chicago

Derrick, John, Derrick, and Eerke A Boiten. Refinement In Z and Object-Z. : Springer London, 2014.