Festschrift für Walter Odersky zum 65. Geburtstag am 17. Juli 1996