ACM Transactions on Programming Languages and Systems July 1997 p 557 Nesting of Reducible and Irreducible Loops by Paul Havlak