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