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