Referenced by:

• group-morphism-kernel
• ucb-catthy-05