Morgan, C. (1994). On the refinement calculus. Springer.
Cita Chicago Style (17a ed.)Morgan, Carroll. On the Refinement Calculus. London [etc.]: Springer, 1994.
Cita MLA (9a ed.)Morgan, Carroll. On the Refinement Calculus. Springer, 1994.
Precaución: Estas citas no son 100% exactas.