Stepanow: On the number of points of a hyperelliptic curve over a prime field, Izvestija Akad.Nauka Bd. 33, 1969, S. 1103. Stepanow gibt den Beweis auch in seinem Buch Arithmetic of Algebraic Curves 1994. Die Stepanov Methode wurde auch von Wolfgang Schmidt erweitert und in seinem Buch Equations Over Finite Fields: An Elementary Approach, Springer, Lecture Notes in Mathematics Nr. 536, 1976, behandelt.