References for eigencurve paper