Palsberg, J.; Schwartzbach, M. I. Substitution Polymorphism for Object-Oriented Programming. DPB 1990, 19.