A great effort has been devoted to formulating a classical relativistic theory of spin compatible with quantum relativistic wave equations. The main difficulty in connecting classical and quantum theories rests in finding a parameter that plays the role of proper time at a purely quantum level. We present a partial review of several proposals of classical and quantum spin theories from the pioneering works of Thomas and Frenkel, revisited in the classical BMT work, to the semiclassical model of Barut and (...) Zanghi. We show that the last model can be obtained from a semiclassical limit of the Feynman proper time parametrization of the Dirac equation. At the quantum level, we derive spin precession equations in the Heisenberg picture. Analogies and differences with respect to classical theories are discussed in detail. (shrink)