The elementary theory of groups a guide through the proofs of the Tarski conjectures - Fine, Benjamin 1948- (De Gruyter Expositions in Mathematics, 2014)