On group-theoretic decision problems and their classification - Miller, Charles F. (Annals of Mathematics Studies, 1971)