Honsell, F., Lenisa, M., & Liquori, L. (2007). A Framework for Defining Logical Frameworks. Electronic notes in theoretical computer science, 172, 399-436. https://doi.org/10.1016/j.entcs.2007.02.014
Chicago-Zitierstil (17. Ausg.)Honsell, Furio, Marina Lenisa, und Luigi Liquori. "A Framework for Defining Logical Frameworks." Electronic Notes in Theoretical Computer Science 172 (2007): 399-436. https://doi.org/10.1016/j.entcs.2007.02.014.
MLA-Zitierstil (9. Ausg.)Honsell, Furio, et al. "A Framework for Defining Logical Frameworks." Electronic Notes in Theoretical Computer Science, vol. 172, 2007, pp. 399-436, https://doi.org/10.1016/j.entcs.2007.02.014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.