2. Publication
3. A Type-Passing Approach for the Implementation of Parametric Methods in {Java}