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

Melham, T. (1988). Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge.

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

Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.

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

Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.