APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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