Adams Spectral Sequence for Topological Modular Forms

Gives a complete account, with full proofs, of the homotopy of $tmf$ and several $tmf$-module spectra by means of the classical Adams spectral sequence, thus verifying, correcting, and extending existing approaches. In the process, folklore results are made precise and generalized.