On group-theoretic decision problems and their classification - Miller, Charles F. 1941- (Annals of mathematics studies ;, 1971)