Palsberg, J.; Schwartzbach, M. I. Types, Inheritance and Assignments: A Collection of Position Papers from the ECOOP ’91 Workshop W5 (Geneva, Switzerland, 1991, 15-19 July). DPB 1991, 20.