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

Melham, T. (1993). Higher order logic and harware verification. Cambridge University Press.

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

Melham, T. Higher Order Logic and Harware Verification. Cambridge: Cambridge University Press, 1993.

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

Melham, T. Higher Order Logic and Harware Verification. Cambridge University Press, 1993.