APA-Zitierstil (7. Ausg.)

Loeckx, J., & Sieber, K. (1987). The foundations of program verification (2. ed.). Teubner.

Chicago-Zitierstil (17. Ausg.)

Loeckx, Jacques, und Kurt Sieber. The Foundations of Program Verification. 2. ed. Stuttgart: Teubner, 1987.

MLA-Zitierstil (9. Ausg.)

Loeckx, Jacques, und Kurt Sieber. The Foundations of Program Verification. 2. ed. Teubner, 1987.