Induction variables in very high-level languages (1976)

by A C Fong, J D Ullman
Venue:In Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages