Cita APA (7a ed.)

Loeckx, J., Stansifer, R. D., & Sieber, K. (1987). The foundations of program verification (2nd ed.). John Wiley & Sons.

Cita Chicago Style (17a ed.)

Loeckx, Jacques, Ryan D. Stansifer, y Kurt Sieber. The Foundations of Program Verification. 2nd ed. Chichester: John Wiley & Sons, 1987.

Cita MLA (9a ed.)

Loeckx, Jacques, et al. The Foundations of Program Verification. 2nd ed. John Wiley & Sons, 1987.