Marc A. Kaplan Jeffrey D. Ullman A Scheme for the Automatic Inference of Variable Types. 128-145 1980 27 J. ACM 1 http://doi.acm.org/10.1145/322169.322181 db/journals/jacm/jacm27.html#KaplanU80