Index: doc/theses/mike_brooks_MMath/intro.tex
===================================================================
--- doc/theses/mike_brooks_MMath/intro.tex	(revision baad96e5b1974f62e902d44052a7a0e5e10366bb)
+++ doc/theses/mike_brooks_MMath/intro.tex	(revision b8cb388b580011a7a3f6688e6395b22a3d7cb0ad)
@@ -35,5 +35,5 @@
 \section{Motivation}
 
-The goal of this work is to introduce safe and complex versions of array, link-lists, and string into the programming language \CFA~\cite{CFA}, which is based on C.
+The goal of this work is to introduce safe and complex versions of array, link-lists, and string into the programming language \CFA~\cite{Cforall}, which is based on C.
 Unfortunately, to make C better, while retaining a high level of backwards compatibility, requires a significant knowledge of C's design.
 Hence, it is assumed the reader has a medium knowledge of C or \CC, on which extensive new C knowledge is built.