On group-theoretic decision problems and their classification. - Princeton University Press, 1971. - ( Annals of Mathematical Studies ; 68).