Text this: Formal methods in architecture and urbanism.