Formal methods in architecture and urbanism. - Ruivo, Catarina; Viana, David Leite; Morais, Franklim (Cambridge Scholars Publisher, 2021)