APA način citiranja (7. izdanje)
Mora, P. L., Viana, D. L., Morais, F., & Vaz, J. V. (2023). Formal Methods in Architecture. Springer Nature.
Čikaški stil citiranja (17. izdanje)
Mora, Plácido Lizancos, David Leite Viana, Franklim Morais, i Jorge Vieira Vaz. Formal Methods in Architecture. Springer Nature, 2023.
MLA način citiranja (9. izdanje)
Mora, Plácido Lizancos, et al. Formal Methods in Architecture. Springer Nature, 2023.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.