Word problems Decision problems and the Burnside problem in group theory (North-Holland Publ.Comp., 1973)