(1994). On the refinement calculus (2. print.). Springer.
Chicago-Zitierstil (17. Ausg.)On the Refinement Calculus. 2. print. London u.a: Springer, 1994.
MLA-Zitierstil (9. Ausg.)On the Refinement Calculus. 2. print. Springer, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.