A general scheme for the automatic inference of variable types (1980)

by M Kaplan, J Ullman
Venue:J. ACM