Christoph Zenger: Indizierte Typen. Karlsruhe Institute of Technology 1998, 1-190