title: Information technology — Open Document Architecture (ODA) and Interchange Format — Part 10: Formal specifications
title: Technologies de l'information — Architecture de document ouverte (ODA) et format de transfert — Partie 10: Spécifications formelles