A. Abbondandolo and P. Majer, Infinite dimensional Grassmannians, J. Operator Theory 61 (2009), 16–62.

A. Abbondandolo and T. Rot, On the homotopy classification of proper Fredholm maps into a Hilbert space, J. Reine Angew. Math. 759 (2020), 161–200, 2020.

M.F. Atiyah, K-Theory, Advanced Book Classics, Addison–Wesley Publishing Company, Advanced Book Program, Redwood City, CA, second edition, 1989.

M. Berger, Nonlinearity and Functional Analysis, Academic Press, 1977.

R. Bott, The stable homotopy of the classical groups, Ann. of Math. 70 (1959), 313–317.

K.D. Elworthy and A.J. Tromba, Differential structures and Fredholm maps on Banach manifolds, Global Analysis (S.S. Chern and S. Smale, eds.), Proc. Sympos. Pure Math., vol. 15, 1970, pp. 45–94.

A. Floer and H. Hofer, Coherent orientations for periodic orbit problems in symplectic geometry, Math. Z. 212 (1993), 13–38.

K. Gęba, Fredholm σ-proper maps of Banach spaces, Fund. Math. 64 (1969), 341–373.

P. Konstantis, A counting invariant for maps into spheres and for zero loci of sections of vector bundles, Abh. Math. Semin. Univ. Hambg. 90 (2020), 183–199.

A.A. Kosinski, Differential Manifolds, Academic Press, 1993.

N.H. Kuiper, The homotopy type of the unitary group of Hilbert space, Topology 3 (1965), 19–30.

D. Quillen, Determinants of Cauchy–Riemann operators over a Riemann surface, Functional Anal. Appl. 19 (1985), 31–34.

A. Schwarz, On the homotopic topology of Banach spaces, Dokl. Akad. Nauk SSSR 154, (1964), 61–63.

S. Smale, An infinite dimensional version of Sard’s theorem, Amer. J. Math. 87 (1965), 861–866.

N.E. Steenrod, Products of cocycles and extensions of mappings, Ann. of Math. (2) 48 (1947), 290–320.