...
[Quinlan 2006] Quinlan, Dan; Vuduc, Richard; Panas, Thomas;
HärdtleinHärdtlein, Jochen; &
SæbjørnsenSæbjørnsen, Andreas. "Support for Whole-Program Analysis and the Verification of the One-Definition Rule in C++," 27-35.
NIST Special Publication 500-262,
Proceedings of the Static Analysis Summit. Gaithersburg, MD, July 2006.
...
