On group-theoretic decision problems and their classification - Miller, Charles F., 1941- (Princeton University Press, 1971)