Mehdi T. Harandi Jim Q. Ning Knowledge-Based Program Analysis. 74-81 1990 7 IEEE Software 1 db/journals/software/software7.html#HarandiN90