Evelyn Duesterwald Mary Lou Soffa Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. 36-48 1991 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/120807.120811 db/conf/issta/tav91.html#DuesterwaldS91