APA način citiranja (7. izdanje)
Benz, N., Gopinath, D., & Shi, N. (2024). NASA Formal Methods. Springer Nature.
Čikaški stil citiranja (17. izdanje)
Benz, Nathaniel, Divya Gopinath, i Nija Shi. NASA Formal Methods. Springer Nature, 2024.
MLA način citiranja (9. izdanje)
Benz, Nathaniel, et al. NASA Formal Methods. Springer Nature, 2024.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.