Kaes, Stefan : Parametrischer Polymorphismus, Überladungen und Konversionen. [Online-Edition] TU Darmstadt [Ph.D. Thesis], (2005)