SAS 1996Generalized Dominators for Structured ProgramsStephen Alstrup, Peter W. Lauridsen, Mikkel ThorupDOI 10.1007/3-540-61739-6_32dblpBibTeXNo abstract available.