In Aachen he developed the first and still only program to apply rewrite rules to group theory.
في آخن طور مايكل البرنامج الأول والوحيد لتطبيق قواعد إعادة الكتابة النظرية للمجموعة.