Nesting of reducible and irreducible loops (1997)

by Paul Havlak
Venue:ACM Transactions on Programming Languages and Systems