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

Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.

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

Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.

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

Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.