Polymorphic type interference for object oriented programming languages - Hense, Andreas V. (Pirrot, 1994)