Intersection theory of divisors on an arithmetic surface

In this article it is explained how to construct for a nonsingular model of a curve defined over a number field a theory analogous to the theory of divisors, and the intersection numbers of divisors, on a compact algebraic surface.