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

Granström, J. G., & Granström, J. G. (2011). Treatise on Intuitionistic Type Theory. Springer Netherlands.

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

Granström, Johan Georg, και Johan Georg Granström. Treatise on Intuitionistic Type Theory. Dordrecht: Springer Netherlands, 2011.

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

Granström, Johan Georg, και Johan Georg Granström. Treatise on Intuitionistic Type Theory. Springer Netherlands, 2011.