"Data Flow Analysis of Communicating Processes."

John H. Reif (1979)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics