Tomasi, F. Preserving Cultural Heritage Objects: Provenance Formalization. BI 2017, 6, 17-40.