J. Palsberg and M. I. Schwartzbach, “Substitution Polymorphism for Object-Oriented Programming”, DPB, vol. 19, no. 305, Feb. 1990.