Proceeding on geometric techniques in gauge theories - Martini R Ed.; Scheveningen conference on differential equations (1981 : Netherlands); De Jager E M Ed. (Berlin Springer-Verlag, 1982)