Montagu, B., & Jensen, T. (2020). Stable relations and abstract interpretation of higher-order programs. Proceedings of ACM on programming languages, 4(ICFP), 1-30. https://doi.org/10.1145/3409001
Chicago-Zitierstil (17. Ausg.)Montagu, Benoît, und Thomas Jensen. "Stable Relations and Abstract Interpretation of Higher-order Programs." Proceedings of ACM on Programming Languages 4, no. ICFP (2020): 1-30. https://doi.org/10.1145/3409001.
MLA-Zitierstil (9. Ausg.)Montagu, Benoît, und Thomas Jensen. "Stable Relations and Abstract Interpretation of Higher-order Programs." Proceedings of ACM on Programming Languages, vol. 4, no. ICFP, 2020, pp. 1-30, https://doi.org/10.1145/3409001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.