Huet, G. (1991). Logical frameworks (1. publ.). Cambridge Univ. Press.
Chicago-Zitierstil (17. Ausg.)Huet, Gérard. Logical Frameworks. 1. publ. Cambridge [u.a.]: Cambridge Univ. Press, 1991.
MLA-Zitierstil (9. Ausg.)Huet, Gérard. Logical Frameworks. 1. publ. Cambridge Univ. Press, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.