@TechReport{bek3tr,
  title =        "Symbolic Finite State Transducers: Algorithms and
                 Applications",
  author =       "Nikolaj Bjorner and Pieter Hooimeijer and Benjamin
                 Livshits and David Molnar and Margus Veanes",
  year =         "2011",
  month =        jul,
  institution =  "Microsoft Research",
  number =       "MSR-TR-2011-85",
}