Loeckx, J., Sieber, K., & Stansifer, R. D. (1984). The foundations of program verification. B.G. Teubner ; Wiley.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Loeckx, Jacques, Kurt Sieber, và Ryan D. Stansifer. The Foundations of Program Verification. Stuttgart [Germany] : Chichester ; New York: B.G. Teubner ; Wiley, 1984.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Loeckx, Jacques, et al. The Foundations of Program Verification. B.G. Teubner ; Wiley, 1984.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.