Hermann Weyl, 1885-1985. Centenary lectures - Weyl, Hermann (Eidgenöss. Techn. Hochschule; Springer, 1986)