@book(Ah:Fu,
 editor       = {J. Ahsan and J.N. Mordeson and M. Shabir},
 year         = {2012},
 title        = {Fuzzy Semirings with Applications to Automata Theory},
 series       = {Studies in Fuzziness and Soft Computing},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-3-642-27641-5},
)
@article(Av:Pr,
 author       = {A. Avron and B. Konikowska},
 year         = {2009},
 title        = {Proof Systems for Reasoning about Computation Errors},
 journal      = {Studia Logica},
 volume       = {91},
 number       = {2},
 pages        = {273--293},
 doi          = {10.1007/s11225-009-9175-4},
)
@article(Bu:We,
 author       = {J. R. B\"{u}chi},
 year         = {1960},
 title        = {Weak second-order arithmetic and finite automata},
 journal      = {Z. Math. Logik Grundlagen Math.},
 volume       = {6},
 pages        = {66--92},
 doi          = {10.1002/malq.19600060105},
)
@inproceedings(DBLP:conf/rv/CernaSK16,
 author       = {D.M. Cerna and W. Schreiner and T. Kutsia},
 year         = {2016},
 title        = {Predicting Space Requirements for a Stream Monitor Specification Language},
 editor       = {Y. Falcone and C. S{\'{a}}nchez},
 booktitle    = {Runtime Verification - 16th International Conference, {RV} 2016},
 pages        = {135--151},
 doi          = {10.1007/978-3-319-46982-9\_9},
)
@article(Ci:De,
 author       = {M. \'Ciri\'c and M. Droste and J. Ignjatovi\'c and H. Vogler},
 year         = {2010},
 title        = {Determinization of weighted finite automata over strong bimonoids},
 journal      = {Inform. Sci.},
 volume       = {180},
 number       = {18},
 pages        = {3497--3520},
 doi          = {10.1016/j.ins.2010.05.020},
)
@article(Dr:We,
 author       = {M. Droste and P. Gastin},
 year         = {2007},
 title        = {Weighted automata and weighted logics},
 journal      = {Theoret. Comput. Sci.},
 volume       = {380},
 pages        = {69--86},
 doi          = {10.1016/j.tcs.2007.02.055},
)
@book(Dr:Han,
 editor       = {M. Droste and W. Kuich and H. Vogler},
 year         = {2009},
 title        = {Handbook of Weighted Automata},
 series       = {EATCS Monographs in Theoretical Computer Science},
 publisher    = {Springer-Verlag},
 address      = {Berlin Heidelberg},
 doi          = {10.1007/978-3-642-01492-5},
)
@incollection(Dr:Au,
 author       = {M. Droste and D. Kuske},
 title        = {Weighted automata},
 editor       = {J.-E. Pin},
 booktitle    = {Handbook: Automata: from Mathematics to Applications},
 chapter      = {4},
 url          = {http://eiche.theoinf.tu-ilmenau.de/kuske/Submitted/weighted.pdf},
 note         = {To appear.},
)
@inbook(Dr:Co,
 author       = {M. Droste and I. Meinecke and {\v{S}}e{\v{s}}elja, B. and Tepav{\v{c}}evi{\'{c}}, A.},
 year         = {2012},
 title        = {Coverings and Decompositions of Semiring-Weighted Finite Transition Systems},
 chapter      = {11, in \cite{Ah:Fu}},
 doi          = {10.1007/978-3-642-27641-5\_11},
)
@article(Dr:St,
 author       = {M. Droste and T. St{\"{u}}ber and H. Vogler},
 year         = {2010},
 title        = {Weighted finite automata over strong bimonoids},
 journal      = {Inform. Sci.},
 volume       = {180},
 number       = {1},
 pages        = {156--166},
 doi          = {10.1016/j.ins.2009.09.003},
)
@article(El:De,
 author       = {C.C. Elgot},
 year         = {1961},
 title        = {Decision problems of finite automata design and related arithmetics},
 journal      = {Trans. Amer. Math. Soc.},
 volume       = {98},
 number       = {1},
 pages        = {21--51},
 doi          = {10.1090/S0002-9947-1961-0139530-9},
)
@book(Kl:In,
 author       = {S.C. Kleene},
 year         = {1952},
 title        = {Introduction to Metamathematics},
 publisher    = {North-Holland},
)
@incollection(Ko:Fo,
 author       = {B. Konikowska},
 year         = {2009},
 title        = {Four-Valued Logic for Reasoning about Finite and Infinite Computation Errors in Programs},
 editor       = {W. Carnielli and M.E. Coniglio and I.M. Loffredo D'Ottaviano},
 booktitle    = {The Many Sides of Logic},
 series       = {Studies in Logic},
 publisher    = {College Publications},
 pages        = {403--423},
)
@techreport(Ku:Lo,
 author       = {T. Kutsia and W. Schreiner},
 year         = {2012},
 title        = {{LogicGuard} Abstract Language},
 type         = {RISC Report Series},
 number       = {12-08},
 institution  = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
 address      = {Austria},
)
@inproceedings(Li:Th,
 author       = {P. Li and Y. Li and S. Geng},
 year         = {2014},
 title        = {The realization problems related to weighted transducers over strong bimonoids},
 booktitle    = {{IEEE} International Conference on Fuzzy Systems 2014},
 series       = {Fuzzy Systems (FUZZ-IEEE)},
 pages        = {1686--1690},
 doi          = {10.1109/FUZZ-IEEE.2014.6891580},
)
@misc(Lo:G1,
 title        = {{LogicGuard I}},
 note         = {\text{}http://www.risc.jku.at/projects/LogicGuard/},
)
@misc(Lo:G2,
 title        = {{LogicGuard II}},
 note         = {\text{}http://www.risc.jku.at/projects/LogicGuard2/},
)
@book(Mc:Ba,
 author       = {J. McCarthy},
 year         = {1967},
 title        = {A basis for a mathematical theory of computation, Computer Programming and Formal Systems},
 publisher    = {North-Holland},
 doi          = {10.1145/1460690.1460715},
)
@book(Mo:Fu,
 author       = {J. N. Mordeson and D.S. Malik},
 year         = {2002},
 title        = {Fuzzy Automata and Languages, Theory and Applications},
 series       = {Computational Mathematics Series},
 publisher    = {Chapman and Hall},
 doi          = {10.1201/9781420035643},
)
@article(Ni:Tr,
 author       = {M. Nivat},
 year         = {1968},
 title        = {Transductions des langages de {C}homsky},
 journal      = {Ann. de l'Inst. Fourier},
 volume       = {18},
 pages        = {339--456},
 doi          = {10.5802/aif.287},
)
@inbook(Ra:Fu,
 author       = {G. Rahonis},
 year         = {2009},
 title        = {Fuzzy languages},
 chapter      = {12, in \cite{Dr:Han}},
 doi          = {10.1007/978-3-642-01492-5\_12},
)
@incollection(Th:La,
 author       = {W. Thomas},
 year         = {1994},
 title        = {Languages, automata, and logic},
 editor       = {Grzegorz Rozenberg and Arto Salomaa},
 booktitle    = {Handbook of Formal Languages},
 volume       = {vol. 3},
 publisher    = {Spinger},
 pages        = {389--455},
 doi          = {10.1007/978-3-642-59126-6},
)
@article(Tr:Fi,
 author       = {B. Trakhtenbrot},
 year         = {1961},
 title        = {Finite automata and logic of monadic predicates},
 journal      = {Doklady Akademii Nauk SSSR},
 volume       = {140},
 pages        = {326--329},
 note         = {(in Russian)},
)