Computing Iwasawa modules of real quadratic number fields James S. Kraft; René Schoof — 1995 Compositio Mathematica