Presentations of finite simple groups: a computational approach | Synapse