I was told relatively vaguely that for some discrete subgroup $\Gamma$ of $SL(2, \mathbb{R})$ (not necessarily contained in $SL(2,\mathbb{Q})$) and a subset $U$ of $\mathbb{C}$, the quotient $\Gamma\backslash U$ can be made into a Riemann surface if $\Gamma$ acts on $U$. Adding cusps with infinitely many stabilizers to the quotient compactifies the surface.
I was wondering if there are some texts/papers that I can study to get a general picture of this process. Obviously for $SL(2, \mathbb Z)$ one could follow the analytic construction with classical modular forms. But, as a person who's not very familiar with algebraic curves and has never heard of the statement of the previous "theorem", I am eager to read some more general and relevant materials.
Thanks in advance. Any help will be appreciated.