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