@article{mohri_2003, 
  title={EDIT-DISTANCE OF WEIGHTED AUTOMATA: GENERAL DEFINITIONS AND ALGORITHMS}, 
  volume={14}, 
  DOI={10.1142/s0129054103002114}, 
  number={06}, 
  publisher={World Scientific Pub Co Pte Lt}, 
  author={MOHRI}, 
  year={2003}
  }