diff --git a/clang/include/clang/Checker/PathSensitive/ExplodedGraph.h b/clang/include/clang/Checker/PathSensitive/ExplodedGraph.h
index d6c4436c594c..c09c89312e10 100644
--- a/clang/include/clang/Checker/PathSensitive/ExplodedGraph.h
+++ b/clang/include/clang/Checker/PathSensitive/ExplodedGraph.h
@@ -9,6 +9,10 @@
 //
 //  This file defines the template classes ExplodedNode and ExplodedGraph,
 //  which represent a path-sensitive, intra-procedural "exploded graph."
+//  See "Precise interprocedural dataflow analysis via graph reachability"
+//  by Reps, Horwitz, and Sagiv
+//  (http://portal.acm.org/citation.cfm?id=199462) for the definition of an
+//  exploded graph.
 //
 //===----------------------------------------------------------------------===//