This is an unofficial reimagining of the Archive of Formal Proofs
A data flow analysis algorithm for computing dominatorsby Nan Jiang