APA-viite (7. p.)
Marques, B., Ruivo, C., Viana, D. L., & Vaz, J. V. (2025). Formal Methods in Architecture. Springer Nature.
Chicago-viite (17. p.)
Marques, Bruno, Catarina Ruivo, David Leite Viana, ja Jorge Vieira Vaz. Formal Methods in Architecture. Springer Nature, 2025.
MLA-viite (9. p.)
Marques, Bruno, et al. Formal Methods in Architecture. Springer Nature, 2025.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.