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