"PROUST: Knowledge-Based Program Understanding."

W. Lewis Johnson, Elliot Soloway (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics