@MISC{EC_PF_2.MIZ,
  AUTHOR = {Futa, Yuichi and Okazaki, Hiroyuki and Mizushima, Daichi and Shidama, Yasunari},
  TITLE = {Operations of Points on Elliptic Curve in Projective Coordinates},
  SECTION1 = {Arithmetic in $\bf{GF}(p)$},
  SECTION2 = {Parameters of an Elliptic Curve},
  SECTION3 = {Operations of Points on an Elliptic Curve over $\bf{GF}(p)$},
  DAY = {3},
  MONTH = {November},
  YEAR = {2011},
  ADDRESS1 = {Shinshu University, Nagano, JAPAN},
  ADDRESS2 = {Shinshu University, Nagano, JAPAN},
  ADDRESS3 = {Shinshu University, Nagano, JAPAN},
  ADDRESS4 = {Shinshu University, Nagano, JAPAN},
  SUMMARY = {In this article, we formalize
  operations of points on an elliptic curve over $\bf{GF}(p)$.
  Elliptic curve cryptography \cite{BSS99}, whose security is based on
  a difficulty of discrete logarithm problem of elliptic curves,
  is important for information security.},
  ACKNOWLEDGEMENT = {This work was supported by JSPS KAKENHI 22300285.}}

@BOOK{BSS99,
      AUTHOR = {I. Blake, G. Seroussi and N. Smart},
      TITLE = {Elliptic Curves in Cryptography},
      PUBLISHER = {Cambridge University Press},
      SERIES = {London Mathematical Society Lecture Note Series},
      NUMBER = {265},
      YEAR = {1999}}
