APA način citiranja (7. izdanje)

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

Čikaški stil citiranja (17. izdanje)

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

MLA način citiranja (9. izdanje)

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

Upozorenje: Ovi citati možda nisu uvijek 100% točni.