APA-Zitierstil (7. Ausg.)

(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.