APA (7th ed.) մեջբերում
Granstrm, J. G. (2011). Treatise on Intuitionistic Type Theory. Springer Netherlands. https://doi.org/10.1007/978-94-007-1736-7
Չիկագոյի ոճի (17րդ խմբ.) մեջբերում
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Dordrecht: Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
MLA (9րդ խմբ.) Մեջբերում
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.