William Edmund Edington

• Abstract group definitions and applications