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

by J P Banning
Venue:In Proceedings of the 6th ACM Symposium on Principles of Programming Languages