@Article{VilGraAlv97a,
  author = 	 "{Vilares Ferro}, Manuel and
                {Gra\~{n}a Gil}, Jorge  and {Alvari\~no Alvari\~no}, Pilar",
  title = 	 "Finite-State Morphology and Formal Verification",
  journal =	 "Journal of Natural Language Engineering, special
		  issue on Extended Finite State Models of Language",
  year =	 "1996",
  volume = 	 "2",
  number =	 "4",
  pages =	 "303--304",
  OPTmonth = 	 "",
  OPTannote = 	 ""
}