Program Analysis via Graph Reachability - Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1998)