The Formal Specification of the ISO Open Document Architecture (ODA) standard
Wolfgang Appelt · The Computer Journal · 1993
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.