Taylor, Richard Lawrence, and Princeton University. <i>On Congruences between Modular Forms</i>, 1988.