Пример API без использования ссылочных типов:

   type DOM_Node is tagged private;

   type DOM_Document is new DOM_Node with private;
   type DMO_Element is new DOM_Node with private;

   function Is_Document (Self : DOM_Node) return Boolean;
   function Is_Element (Self : DOM_Node) return Boolean;

   function To_Document (Self : DOM_Node) return DOM_Document;
   function To_Element (Self : DOM_Node) return DOM_Element;

Т.е. все узлы приватного тэгового типа. Наследование повторяет настелование в спецификации. Для каждого типа есть запрос а является ли текущий элемент элементом этого типа и соответствующая подпрограмма преобразования.