Cita APA (7a ed.)

Back, R., & Wright, J. v. (1998). Refinement calculus: A systematic introduction. Springer.

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

Back, Ralph-Johan, y Joakim von Wright. Refinement Calculus: A Systematic Introduction. Springer, 1998.