APA stil citiranja

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

Chicago stil citiranja

Back, Ralph-Johan, and J. von (Joakim) Wright. Refinement calculus: Refinement calculus : a systematic introduction. New York: Springer, 1998.

MLA stil citiranja

Back, Ralph-Johan, and J. von (Joakim) Wright. Refinement calculus: Refinement calculus : a systematic introduction. New York: Springer, 1998.