Taylor, Richard Lawrence, and Princeton University. 1988. On Congruences between Modular Forms.