Eichler-Shimura theory