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