توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Ionescu, C., Jansson, P., & Botta, N. (2018). Type theory as a framework for modelling and programming. Springer Nature.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Ionescu, C., P. Jansson, و N. Botta. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Ionescu, C., et al. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.