APA (7th ed.) Zitazioa
Johan Georg Granström, J. G. G. Treatise on Intuitionistic Type Theory. Springer.
Chicago Style (17th ed.) Zitazioa
Johan Georg Granström, Johan Georg Granström. Treatise on Intuitionistic Type Theory. Dordrecht, Holanda: Springer.
MLA (9th ed.) Zitazioa
Johan Georg Granström, Johan Georg Granström. Treatise on Intuitionistic Type Theory. Springer.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.