Antonia W. Bluher. Formal Groups, Elliptic Curves, and Some Theorems of Couveignes. In Joe Buhler, editor, Algorithmic Number Theory, Third International Symposium, ANTS-III, Portland, Oregon, USA, June 21-25, 1998, Proceedings. Volume 1423 of Lecture Notes in Computer Science, pages 482-501, Springer, 1998. [doi]