Parameterized Types in Java by Andrew Myers and Joseph Bank and