1. D. Brotsky, ?An algorithm for parsing flow graphs?, Tech. Rep. Al-TR-704, MIT-AILAB, Mar. 1984.
2. E. Horowitz and S. Sahni, Fundamentals of Computer Algorithms, Computer Science Press: Maryland, 1978.
3. W. Johnson, Intention-Based Diagnosis of Novice Programming Errors, Morgan Kaufmann: Los Altos, CA, 1986.
4. W. Johnson and E. Soloway, ?Proust: Knowledge-based program understanding?, IEEE Transactions on Software Engineering, vol. 11, pp. 267?275, Mar. 1985. Reprinted in Readings in AI and SE.
5. W. Johnson and E. Soloway, ?Proust: An automatic debugger for pascal programs?, Byte, vol. 10, no. 4, pp. 179?190, 1985.