Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel SmalltalkChristian LesnyAusverkauft4,3Bewachen