This monograph is concerned with the Shimura variety attached to a quaternion algebra over a totally real number field. The reader is expected to be familiar with the basic concepts of algebraic geometry, algebraic number theory and the theory of automorphic representation.