A. C. Paio,  "Digital processes for collaborative answers in Architecture", in 3rd symposium Formal Methods in Architecture, Porto , vol. 1, pp. 52-52, 2015