Immediate Predominators in a Directed Graph [H] (Algorithm A430)
CACM August, 1972
Purdom Jr., P. W.
Moore, E. F.
