Computationele groepentheorie - andere talen