Mary Jean Harrold Gregg Rothermel Saurabh Sinha Computation of Interprocedural Control Dependence. 11-20 1998 ISSTA http://doi.acm.org/10.1145/271771.271780 db/conf/issta/issta98.html#HarroldRS98