A practical interprocedural data flow analysis algorithm (1978)

by J M Barth
Venue:J. ACM