Bouganis, A., & Venjakob, O. (2010). On the non-commutative Main Conjecture for elliptic curves with Complex Multiplication. Asian Journal of Mathematics, 14(3), 385-416. https://doi.org/10.4310/ajm.2010.v14.n3.a6