توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Du, M., Jespersen, B., & Materna, P. (2010). Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Netherlands. https://doi.org/10.1007/978-90-481-8812-3
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Du, Marie, Bjorn Jespersen, و Pavel Materna. Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Dordrecht: Springer Netherlands, 2010. https://doi.org/10.1007/978-90-481-8812-3.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Du, Marie, et al. Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Netherlands, 2010. https://doi.org/10.1007/978-90-481-8812-3.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.