The design principles of a weighted finite-state transducer library
scientific article; zbMATH DE number 1495188