O. I. Hougaard, M. I. Schwartzbach, og H. Askari, “Type Inference of Turbo Pascal”, BRICS, bd. 2, nr. 8, jan. 1995.