P. Havlak and K. Kennedy. An implementation of inter procedural bounded regular section analysis. IEEE Transactions on Parallel and Distributed Systems, 2(3) 350-360, July 1991.
author author author author author title title title title title title title title title journal journal journal journal journal journal journal volume pages date date