Design of Analyzers for Selective Program Analysis. - James Arthur; Jayashree Ramanathan (IEEE Trans. Software Eng., 1981)