Παραπομπή σε μορφή APA (7η εκδ.)

Kamareddine, F., Laan, T., & Nederpelt, R. (2005). A Modern Perspective on Type Theory: From its Origins until Today. Springer Science + Business Media, Inc.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Kamareddine, Fairouz, Twan Laan, και Rob Nederpelt. A Modern Perspective on Type Theory: From Its Origins Until Today. Dordrecht: Springer Science + Business Media, Inc, 2005.

Παραπομπή σε μορφή MLA (8th εκδ.)

Kamareddine, Fairouz, et al. A Modern Perspective on Type Theory: From Its Origins Until Today. Springer Science + Business Media, Inc, 2005.