Nature pleated surfaces - Oliveira, M. J.; Osório, F. (Formal methods in architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), 2020)