Finite state morphology and formal verification | Publicación