An efficient way to find the side effects of procedure calls and the aliases of variables (1979)

by J P Banning
Venue:in POPL