Larry Carter Jeanne Ferrante Clark D. Thomborson Folklore confirmed: reducible flow graphs are exponentially larger. 106-114 2003 POPL http://doi.acm.org/10.1145/640128.604141 db/conf/popl/popl2003.html#CarterFT03