Tetsuo Saitou, Mitsugu Suzuki, Tan Watanabe: Dominance analysis of irreducible CFGs by reduction. ACM SIGPLAN Notices 40(4): 10-19 (2005)