Index: doc/theses/jiada_liang_MMath/CFAenum.tex
===================================================================
--- doc/theses/jiada_liang_MMath/CFAenum.tex	(revision 90e7a2f0c4835e12bd98161fe482701b94741e42)
+++ doc/theses/jiada_liang_MMath/CFAenum.tex	(revision 9d3a4cc8f1758107f333259e1ea5aabf6a260d5c)
@@ -1,3 +1,3 @@
-\chapter{\CFA Enumeration}
+\chapter{\texorpdfstring{\CFA}{Cforall} Enumeration}
 
 \CFA extends C-Style enumeration by adding a number of new features that bring enumerations inline with other modern programming languages.
Index: doc/theses/jiada_liang_MMath/Cenum.tex
===================================================================
--- doc/theses/jiada_liang_MMath/Cenum.tex	(revision 90e7a2f0c4835e12bd98161fe482701b94741e42)
+++ doc/theses/jiada_liang_MMath/Cenum.tex	(revision 9d3a4cc8f1758107f333259e1ea5aabf6a260d5c)
@@ -1,3 +1,3 @@
-\chapter{C Enumeration in \CFA}
+\chapter{C Enumeration in \texorpdfstring{\CFA}{Cforall}}
 
 \CFA supports legacy C enumeration using the same syntax for backwards compatibility.
Index: doc/theses/jiada_liang_MMath/background.tex
===================================================================
--- doc/theses/jiada_liang_MMath/background.tex	(revision 90e7a2f0c4835e12bd98161fe482701b94741e42)
+++ doc/theses/jiada_liang_MMath/background.tex	(revision 9d3a4cc8f1758107f333259e1ea5aabf6a260d5c)
@@ -28,5 +28,5 @@
 
 
-\subsection{C \lstinline{const}}
+\subsection{C \texorpdfstring{\lstinline{const}}{const}}
 \label{s:Cconst}
 
@@ -233,5 +233,5 @@
 
 
-\section{\CFA}
+\section{\texorpdfstring{\CFA}{Cforall}}
 
 \CFA in \emph{not} an object-oriented programming-language, \ie functions cannot be nested in aggregate types, and hence, there is no \newterm{receiver} notation for calling functions, \eg @obj.method(...)@, where the first argument proceeds the call and becomes an  implicit first (\lstinline[language=C++]{this}) parameter.
Index: doc/theses/jiada_liang_MMath/relatedwork.tex
===================================================================
--- doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 90e7a2f0c4835e12bd98161fe482701b94741e42)
+++ doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 9d3a4cc8f1758107f333259e1ea5aabf6a260d5c)
@@ -448,5 +448,5 @@
 
 
-\section{C\raisebox{-0.7ex}{\LARGE$^\sharp$}\xspace} % latex bug: cannot use \relsize{2} so use \LARGE
+\section{C\texorpdfstring{\raisebox{-0.7ex}{\LARGE$^\sharp$}\xspace}{Csharp}} % latex bug: cannot use \relsize{2} so use \LARGE
 \label{s:Csharp}
 
Index: doc/theses/jiada_liang_MMath/trait.tex
===================================================================
--- doc/theses/jiada_liang_MMath/trait.tex	(revision 90e7a2f0c4835e12bd98161fe482701b94741e42)
+++ doc/theses/jiada_liang_MMath/trait.tex	(revision 9d3a4cc8f1758107f333259e1ea5aabf6a260d5c)
@@ -24,5 +24,5 @@
 
 
-\section{Traits \lstinline{CfaEnum} and \lstinline{TypedEnum}}
+\section{Traits \texorpdfstring{\lstinline{CfaEnum}{CfaEnum}} and \texorpdfstring{\lstinline{TypedEnum}}{TypedEnum}}
 
 Traits @CfaEnum@ and @TypedEnum@ define the enumeration attributes: @label@, @posn@, @value@, and @Countof@.