Überladung in Typsystemen

Martin Wehr. Überladung in Typsystemen. PhD thesis, Universität Karlsruhe, 1997.