J. Palsberg and M. I. Schwartzbach, “Types, Inheritance and Assignments: A collection of position papers from the ECOOP ’91 workshop W5 (Geneva, Switzerland, 1991, 15-19 July)”, DPB, vol. 20, no. 357, Jun. 1991.