\BOOKMARK [1][-]{section.1}{Introduction}{}% 1
\BOOKMARK [2][-]{subsection.1.1}{Motivation}{section.1}% 2
\BOOKMARK [2][-]{subsection.1.2}{Approach}{section.1}% 3
\BOOKMARK [2][-]{subsection.1.3}{Organization of contents}{section.1}% 4
\BOOKMARK [1][-]{section.2}{Review of related work}{}% 5
\BOOKMARK [1][-]{section.3}{Quick overview of Jacc}{}% 6
\BOOKMARK [1][-]{section.4}{XML serialization annotation}{}% 7
\BOOKMARK [2][-]{subsection.4.1}{Basic annotation notation}{section.4}% 8
\BOOKMARK [2][-]{subsection.4.2}{More complex annotation notation}{section.4}% 9
\BOOKMARK [3][-]{subsubsection.4.2.1}{Children annotation}{subsection.4.2}% 10
\BOOKMARK [3][-]{subsubsection.4.2.2}{Examples of children annotation}{subsection.4.2}% 11
\BOOKMARK [3][-]{subsubsection.4.2.3}{Attributes annotation}{subsection.4.2}% 12
\BOOKMARK [3][-]{subsubsection.4.2.4}{Examples of attribute notation}{subsection.4.2}% 13
\BOOKMARK [3][-]{subsubsection.4.2.5}{Interpreted special forms}{subsection.4.2}% 14
\BOOKMARK [2][-]{subsection.4.3}{Checking annotation consistency}{section.4}% 15
\BOOKMARK [1][-]{section.5}{Example}{}% 16
\BOOKMARK [1][-]{section.6}{Conclusion}{}% 17
\BOOKMARK [2][-]{subsection.6.1}{Recapitulation}{section.6}% 18
\BOOKMARK [2][-]{subsection.6.2}{Further work}{section.6}% 19