Torsion theories, additive semantics, and rings of quotients - Lambek Joachim (1971)