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

by J Banning
Venue:In POPL