A Strong-Connectivity Algorithm and Its Applications in Data Flow Analysis Applications (Classic Reprint)

Bok av M Sharir