Set-Based Program Analysis (1992)

by N Heintze