© 1993 by British Computer Society
The Formal Specification of the ISO Open Document Architecture (ODA) standard

1 Gesellschaft fur Mathematik und Datenverarbeitung, Bonn, Germany, 2 The National Computing Centre, Oxford Road, Manchester M1 7ED, UK
This paper presents a survey on an application of a formal description technique called IMC and language called IMCL in the context of an International Standardization project on Document Structure and Processing and gives a brief tutorial on the use of IMCL.
Received April 1992. revised July 1992.
* Gesellschaft fur Mathematik und Datenverarbeitung, Bonn, Germany
The National Computing Centre, Oxford Road, Manchester M1 7ED, U K