Information processing. Text and office systems. Office document architecture (ODA) and interchange format - Formal specifications