W. Appelt et N. Tettehlartey, THE FORMAL SPECIFICATION OF THE ISO OPEN DOCUMENT ARCHITECTURE (ODA) STANDARD, Computer journal, 36(3), 1993, pp. 269-279
This paper presents a survey on an application of a formal description
technique called IMC and language called IMCL in the context of an In
ternational Standardization project on Document Structure and Processi
ng and gives a brief tutorial on the use of IMCL.