Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.
Чикаго стиль цитування (17-те видання)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
Стиль цитування MLA (9-ме видання)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
Попередження: стилі цитування не завжди правильні на всі 100%.