APA-viite (7. p.)
Symposium Formal Methods in Architecture ( Oporto, Portugal (Ciudad)), Viana, D. L., Morais, F., & Vaz, J. V. Formal Methods in Architecture and Urbanism. Cambridge Scholars.
Chicago-viite (17. p.)
Symposium Formal Methods in Architecture ( Oporto, Portugal (Ciudad)), David Leite Viana, Franklim Morais, ja Jorge Vieira Vaz. Formal Methods in Architecture and Urbanism. Newcastle upon Tyne, Inglaterra: Cambridge Scholars.
MLA-viite (9. p.)
Symposium Formal Methods in Architecture ( Oporto, Portugal (Ciudad)), et al. Formal Methods in Architecture and Urbanism. Cambridge Scholars.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.