@article(Assent2007,
 author       = {Ira Assent and Sebastian Seibert},
 year         = {2007},
 title        = {An upper bound for transforming self-verifying automata into deterministic ones},
 journal      = {RAIRO-Theoretical Informatics and Applications-Informatique Th{\'e}orique et Applications},
 volume       = {41},
 number       = {3},
 pages        = {261--265},
 doi          = {10.1051/ita:2007017},
)
@book(Hopcroft1990,
 author       = {John E. Hopcroft and Jeffrey D. Ullman},
 year         = {1990},
 title        = {Introduction to Automata Theory, Languages, and Computation},
 edition      = {1st},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)
@inproceedings(Hromkovic1999,
 author       = {Juraj Hromkovic and Georg Schnitger},
 year         = {1999},
 title        = {On the Power of Las Vegas {II.} Two-Way Finite Automata},
 editor       = {Jir{\'{\i}} Wiedermann and Peter van Emde Boas and Mogens Nielsen},
 booktitle    = {Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1644},
 publisher    = {Springer},
 pages        = {433--442},
 doi          = {10.1007/3-540-48523-6\_40},
)
@article(Jiraskova2011,
 author       = {Galina Jir{\'a}skov{\'a} and Giovanni Pighizzini},
 year         = {2011},
 title        = {Optimal simulation of self-verifying automata by deterministic automata},
 journal      = {Information and Computation},
 volume       = {209},
 number       = {3},
 pages        = {528 -- 535},
 note         = {Special Issue: 3rd International Conference on Language and Automata Theory and Applications (LATA 2009)},
 doi          = {10.1016/j.ic.2010.11.017},
)
@unpublished(Marais2017,
 author       = {Laurette Marais and Van Zijl, Lynette},
 title        = {State Complexity of {U}nary {SV-XNFA} with {D}ifferent {A}cceptance {C}onditions},
 note         = {Submitted for publication},
)
@inproceedings(Marais2016,
 author       = {Laurette Marais and Lynette van Zijl},
 year         = {2016},
 title        = {Unary Self-verifying Symmetric Difference Automata},
 editor       = {Cezar C{\^{a}}mpeanu and Florin Manea and Jeffrey Shallit},
 booktitle    = {Descriptional Complexity of Formal Systems - 18th {IFIP} {WG} 1.2 International Conference, {DCFS} 2016, Bucharest, Romania, July 5-8, 2016. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9777},
 publisher    = {Springer},
 pages        = {180--191},
 doi          = {10.1007/978-3-319-41114-9_14},
)
@inproceedings(VanderMerwe2012,
 author       = {Van der Merwe, Brink and Hellis Tamm and Van Zijl, Lynette},
 year         = {2012},
 title        = {Minimal {DFA} for Symmetric Difference {NFA}},
 editor       = {Martin Kutrib and Nelma Moreira and Rog{\'{e}}rio Reis},
 booktitle    = {Descriptional Complexity of Formal Systems - 14th International Workshop, {DCFS} 2012, Braga, Portugal, July 23-25, 2012. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7386},
 publisher    = {Springer},
 pages        = {307--318},
 doi          = {10.1007/978-3-642-31623-4_24},
)
@book(Stone1973,
 author       = {Harold S Stone},
 year         = {1973},
 title        = {Discrete Mathematical Structures and their Applications},
 publisher    = {Science Research Associates Chicago},
)
@inproceedings(Vuillemin2009,
 author       = {Jean Vuillemin and Nicolas Gama},
 year         = {2009},
 title        = {Compact Normal Form for Regular Languages as Xor Automata},
 editor       = {Sebastian Maneth},
 booktitle    = {Implementation and Application of Automata, 14th International Conference, {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5642},
 publisher    = {Springer},
 pages        = {24--33},
 doi          = {10.1007/978-3-642-02979-0_6},
)
@article(VanZijl2004,
 author       = {Lynette van Zijl},
 year         = {2005},
 title        = {Magic numbers for symmetric difference {NFAS}},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {16},
 number       = {5},
 pages        = {1027--1038},
 doi          = {10.1142/S0129054105003455},
)
@inproceedings(VanZijl2001,
 author       = {Lynette van Zijl and John{-}Paul Harper and Frank Olivier},
 year         = {2000},
 title        = {The MERLin Environment Applied to *-NFAs},
 editor       = {Sheng Yu and Andrei Paun},
 booktitle    = {Implementation and Application of Automata, 5th International Conference, {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {2088},
 publisher    = {Springer},
 pages        = {318--326},
 doi          = {10.1007/3-540-44674-5_28},
)