Hougaard, O. I.; Schwartzbach, M. I.; Askari, H. Type Inference of Turbo Pascal. BRICS 1995, 2.