Component design of retargetable program analysis tools that reuse intermediate representations. - James Hayes; William G. Griswold; Stuart Moskovics (ICSE, 2000)