RE-Analyzer: From Source Code to Structured Analysis. - Anthony B. O'Hare; E. W. Troan (IBM Syst. J., 1994)