Index: doc/theses/mike_brooks_MMath/array.tex
===================================================================
--- doc/theses/mike_brooks_MMath/array.tex	(revision bdb4c3c6baa698ff7fc88e7013e6d1e6c771f911)
+++ doc/theses/mike_brooks_MMath/array.tex	(revision 5a9bc1e76934b1854976b21fdd847e27dffcc5cf)
@@ -3,5 +3,5 @@
 \section{Features Added}
 
-The present work adds a type @array@ to the \CFA standard library.
+The present work adds a type @array@ to the \CFA standard library~\cite{Cforall}.
 
 This array's length is statically governed and dynamically valued.  This static governance achieves argument safety and suggests a path to subscript safety as future work (TODO: cross reference).  In present state, this work is a runtime libray accessed through a system of macros, while section [TODO: discuss C conexistence] discusses a path for the new array type to be accessed directly by \CFA's array syntax, replacing the lifted C array that this syntax currently exposes.