APA (7th ed.) Citation

Loeckx, J., Sieber, K., & Stansifer, R. D. (1984). The foundations of program verification. B.G. Teubner ; Wiley.

Chicago Style (17th ed.) Citation

Loeckx, Jacques, Kurt Sieber, and Ryan D. Stansifer. The Foundations of Program Verification. Stuttgart [Germany] : Chichester ; New York: B.G. Teubner ; Wiley, 1984.

MLA (8th ed.) Citation

Loeckx, Jacques, et al. The Foundations of Program Verification. B.G. Teubner ; Wiley, 1984.