"Static Data Flow Analysis of PL/I Programs with the PROBE System."

Ramon F. Sarraga (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics