Taylor, R. L., & Princeton University. (1988). On congruences between modular forms.