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