*-Groups or "Group with Involution"? Wikipedia has a basic reference on *-rings in the *-algebra article, which defines a *-ring as a ring equipped with a * operator which is an antiautomorphism and an involution.

However, I am not interested in rings equipped with such an operator, but Groups equipped with one.  I tried searching for "*-group" to find references, but wasn't able to find much (I also tried the groupified versions of the alternative names Wikipedia suggested for *-rings: "involutive ring, involutory ring, and ring with involution", with no luck).

I am wondering if such a structure as a "*-group" exists in the literature, and if so, what name does it go by?

Is there some reference that could give a basic introduction to the subject? (Or maybe the structure is trivial, which might explain so little has been written about it?)

(For the context of why I am interested, I am thinking about generalizations of a Counted B-Tree for non-commutative sums, where segments can be added together, subtracted off from each other, and "flipped" to reverse the order).
All groups are "*-groups", with the involution being inversion. Inversion is an involution as $(a^{-1})^{-1}=a$, and is an antiautomorphism as $(ab)^{-1}=b^{-1}a^{-1}$.
All groups are "*-groups", with the involution being inversion. Inversion is an involution as $(a^{-1})^{-1}=a$, and is an antiautomorphism as $(ab)^{-1}=b^{-1}a^{-1}$.