Louise Trevillyan William H. Joyner Jr. C. Leonard Berman Global Flow Analysis in Automatic Logic Design. 77-81 1986 35 IEEE Trans. Computers 1 db/journals/tc/tc35.html#TrevillyanJB86