It was introduced by Eichler (1954) and generalized by Shimura (1958).
このことは、 Eichler (1954) で導入され、 Shimura (1958) で一般化された。