Stephen Alstrup Peter W. Lauridsen Mikkel Thorup Generalized Dominators for Structured Programs. 42-51 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#AlstrupLT96