Solvable cases of the decision problem - Ackermann, Wilhelm (North-Holland Publishing Company, 1954)