A unified approach toglobalprogram optimization. 1st POPL (1973)

by G Kildall