Thomas W. Reps: Program analysis via graph reachability. Inf. Softw. Technol. 40(11-12): 701-726 (1998)