C. F. Miller1941BooksAlgorithms and classification in combinatorial group theoryOn group-theoretic decision problems and their classificationAuthor data: Open Library