On the complexity of computing the profinite closure of a rational language
scientific article; zbMATH DE number 5955928