Title: Two approaches to interprocedural data flow analysis
First published: 1978