Hougaard, O. I., Schwartzbach, M. I., & Askari, H. (1995). Type Inference of Turbo Pascal. BRICS Report Series, 2(8). https://doi.org/10.7146/brics.v2i8.19511