Morgan, C. (1992). On the refinement calculus. Springer.
Chicago-Zitierstil (17. Ausg.)Morgan, Carroll. On the Refinement Calculus. London ; Berlin [u.a.]: Springer, 1992.
MLA-Zitierstil (9. Ausg.)Morgan, Carroll. On the Refinement Calculus. Springer, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.