Text this: Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura