Brandão, F. (2018). Cork Re-Wall: automatic generation of building instructions. In David Leite Viana, Franklim Morais, Jorge Vieira Vaz (Ed.), Formal methods in architecture and urbanism. Cambridge: Cambridge Scholars Publishing.