Hehner, E. C. R. A. (1984). The logic of programming.
Trích dẫn kiểu ChicagoHehner, Eric C R; Author. The Logic of Programming. New Delhi, Prentice-Hall of India, 1984.
Trích dẫn MLAHehner, Eric C R; Author. The Logic of Programming. 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%.