Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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