diff --git a/certainty.tex b/certainty.tex
index 5854930..60808e6 100644
--- a/certainty.tex
+++ b/certainty.tex
@@ -53,8 +53,8 @@ believe that eventually including some form of labeling syntax for
 
 If a \texttt{maybe} alternative throws an error, the system will bypass the
 \texttt{evaluate} block and give it the worst possible score. By integrating
-a form of record-and-replay~\cite{FIXME}, it may also be possible to roll
-back the failed alternatives changes and retry another alternative.
+a form of record-and-replay~\cite{gomez2013reran}, it may also be possible to
+roll back the failed alternatives changes and retry another alternative.
 \texttt{maybe} is intended to enable adaptation, not avoid errors, but the
 existence of other alternatives provides our system with a way to work around
 failures caused by uncertainty. Resistance to errors may also encourage
diff --git a/references.bib b/references.bib
index ecabaac..1e58f2c 100644
--- a/references.bib
+++ b/references.bib
@@ -2,6 +2,15 @@
 @string{sosp = "SOSP"}
 @string{osdi = "OSDI"}
 
+@inproceedings{gomez2013reran,
+  title={Reran: Timing-and touch-sensitive record and replay for android},
+  author={Gomez, Lorenzo and Neamtiu, Iulian and Azim, Tanzirul and Millstein, Todd},
+  booktitle={Software Engineering (ICSE), 2013 35th International Conference on},
+  pages={72--81},
+  year={2013},
+  organization={IEEE}
+}
+
 @misc{phonelab-url,
   Author = "PhoneLab",
   Howpublished = {\url{http://www.phone-lab.org}},