On Group-Theoretic Decision Problems and Their Classification. (Am-68) by Daniel Miller & Comerford