The Atiyah-Patodi-Singer index theorem. ([1993])