APA (7th ed.) Citation

Back, R., & Wright, J. (1998). Refinement Calculus: A Systematic Introduction. Springer New York.

Chicago Style (17th ed.) Citation

Back, Ralph-Johan, and Joakim Wright. Refinement Calculus: A Systematic Introduction. New York, NY: Springer New York, 1998.

MLA (9th ed.) Citation

Back, Ralph-Johan, and Joakim Wright. Refinement Calculus: A Systematic Introduction. Springer New York, 1998.