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