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