The formal specification of the ISO Open Document Architecture (ODA) standard

This paper presents a survey on an application of a formal description technique called IMC and language called IMCL in the context of international standardization project on document structure and processing and gives a brief tutorial on the use of IMCL.