SGML DTDs for the Hypertext Markup Language