• Using Modules for the Universal Theory of Abstract Algebra
• Universal Theory
• Reusing Theory without Modules
• Reusing Theory with Modules
• Universal Theory for Groups
• Universal Theory for Finite Groups
• Further reading