diff --git a/paper-new/intro.tex b/paper-new/intro.tex
index 05c44c98b89bc7dd114dafa5b9787f0513d04c19..f04fba357e1ed509ae0d87bec0efdc5c0756abcf 100644
--- a/paper-new/intro.tex
+++ b/paper-new/intro.tex
@@ -171,7 +171,7 @@ corresponding technical reports having 50+ pages of proofs.
 \end{comment}
 
 An alternative approach, which we investigate in this paper, is provided by
-\emph{synthetic guarded domain theory}.
+\emph{synthetic guarded domain theory}\cite{birkedal-mogelberg-schwinghammer-stovring2011}.
 The techniques of synthetic guarded domain theory allow us to internalize the
 step-indexed reasoning normally required in logical relations proofs of graduality,
 ultimately allowing us to specify the logical relation in a manner that looks nearly