Huet, G., & Plotkin, G. (1991). Logical frameworks. Cambridge University Press.
Chicago Style (17th ed.) CitationHuet, Gerard, and G. Plotkin. Logical Frameworks. Cambridge ; New York: Cambridge University Press, 1991.
MLA (8th ed.) CitationHuet, Gerard, and G. Plotkin. Logical Frameworks. Cambridge University Press, 1991.
Warning: These citations may not always be 100% accurate.