Miller, Charles F. On group-theoretic decision problems and their classification / by Charles F. Miller - new jersey Princeton 1971 - 106p.