Huet, G., & Plotkin, G. (1991). Logical frameworks (1st. ed.). Cambridge University Press.
Cita Chicago Style (17a ed.)Huet, Gérard, y G. Plotkin. Logical Frameworks. 1st. ed. Cambridge ; New York: Cambridge University Press, 1991.
Cita MLA (9a ed.)Huet, Gérard, y G. Plotkin. Logical Frameworks. 1st. ed. Cambridge University Press, 1991.
Precaución: Estas citas no son 100% exactas.