Formal methods in architecture and urbanism - Viana, David Leite,; Morais, Franklim,; Vaz, Jorge Vieira, (Cambridge Scholars Publishing, 2018)