APA-Zitierstil (7. Ausg.)

Habel, A., Pennemann, K., & Rensink, A. (2006). Weakest preconditions for high-level programs: (long version). Univ.

Chicago-Zitierstil (17. Ausg.)

Habel, Annegret, Karl-Heinz Pennemann, und Arend Rensink. Weakest Preconditions for High-level Programs: (long Version). Oldenburg: Univ, 2006.

MLA-Zitierstil (9. Ausg.)

Habel, Annegret, et al. Weakest Preconditions for High-level Programs: (long Version). Univ, 2006.