Computer algebra software for finitely presented monoids and groups. - Christoph Kögl (2004)