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

Schultz, P., & Spivak, D. I. (2019). Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (1st ed. 2019.). Springer International Publishing : Imprint: Birkhäuser. https://doi.org/10.1007/978-3-030-00704-1

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

Schultz, Patrick, και David I. Spivak. Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. 1st ed. 2019. Cham: Springer International Publishing : Imprint: Birkhäuser, 2019. https://doi.org/10.1007/978-3-030-00704-1.

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

Schultz, Patrick, και David I. Spivak. Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior. 1st ed. 2019. Springer International Publishing : Imprint: Birkhäuser, 2019. https://doi.org/10.1007/978-3-030-00704-1.