Induction variables in very high-level languages (1976)

by A C Fong, J Ullman
Venue:In Proc. Third ACM Symposium on Principles of Programming Languages