Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.
Chicago-referens (17:e uppl.)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
MLA-referens (9:e uppl.)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.