Adding references for eigencurve revisions