James Arthur Jayashree Ramanathan Design of Analyzers for Selective Program Analysis. 39-51 1981 7 IEEE Trans. Software Eng. 1 db/journals/tse/tse7.html#ArthurR81