1 Table of Contents: “... Incrementalization -- Automatic Program Generation from Formal Specifications using APTS -- Universal Regular Path...”

2 Table of Contents: “... to MathematicalModernism -- From Euclid to Riemann and Beyond: How to Describe the Shape of the Universe -- A Path...”

3 Table of Contents: “.... Realisierungsvarianten von Corporate Universities -- DaimlerChrysler Corporate University — The Path to Top Performance...”