PROUST: Knowledge-Based Program Understanding

@inproceedings{Johnson-Soloway:ICSE84,
  author    = {W. Lewis Johnson and
               Elliot Soloway},
  title     = {{PROUST:} {Knowledge-Based} Program Understanding},
  booktitle = {ICSE},
  pages     = {369--380},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}