M. J. Oliveira, "Nature Pleated Surfaces", in 5th Formal Methods in Architecture, Lisbon, 2020