Appelt, W.W.AppeltTetteh-Larty, N.N.Tetteh-Larty2022-03-032022-03-031993https://publica.fraunhofer.de/handle/publica/18399310.1093/comjnl/36.3.269This 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.enODA, Formal description techniques004005006400The formal specification of the ISO Open Document Architecture (ODA) standardFormale Spezifikation des ISO Open Document Architecture (ODA) Standardsjournal article