Text this: Teoremas de punto fijo para la solución de ecuaciones sobre lenguajes