Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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