Type Inference for Turbo Pascal. - Ole I. Hougaard; Michael I. Schwartzbach; Hosein Askari (Softw. Concepts Tools, 1995)