Yves Caseau, Laurent Perron: Attaching Second-Order Types to Methods in an Object-Oriented Language. ECOOP 1993: 142-160