APA (7th ed.) Citation

Huet, G., & Plotkin, G. (1991). Logical frameworks. Cambridge University Press. https://doi.org/10.1017/CBO9780511569807

Chicago Style (17th ed.) Citation

Huet, Gérard, and G. Plotkin. Logical Frameworks. Cambridge: Cambridge University Press, 1991. https://doi.org/10.1017/CBO9780511569807.

MLA (9th ed.) Citation

Huet, Gérard, and G. Plotkin. Logical Frameworks. Cambridge University Press, 1991. https://doi.org/10.1017/CBO9780511569807.