Kreisel : THEORIE UND ANWENDUNGEN - Magnus, Kurt (Springer Verlag, 1971)