Algorithm 430: Immediate predominators in a directed graph (1972)

by P W Purdom, E F Moore
Venue:Communications of the ACM