ReadGlim
Computing graph dominators — ReadGlim