Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel Smalltalk. - Christian Lesny (2007)