Specifies a formal description technique appropriate for describing the technical specifications of the document structures, the document profile and the content architectures and the resulting formal specifications. This Standard is identical with, and has been reproduced from ISO/IEC 8613-10:1991; amendment 1:1991, Formal specification of the document profile; amendment 2:1991, Formal specification of the Raster Graphics content architectures; amendment 3:1992, Formal specification of the character content architectures; amendment 4:1992, Formal specification of the geometric graphics content architectures; and Amendment 5:1993, Formal specification of the defaulting mechanism for defaultable attributes.