Describir: Formal methods in architecture and urbanism.