Cita APA

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

Citación estilo Chicago

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

Cita MLA

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