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

by E F Moore
Venue:Communications of the ACM