Margus Veanes Pieter Hooimeijer Benjamin Livshits David Molnar Nikolaj Bjørner Symbolic finite state transducers: algorithms and applications. 137-150 2012 POPL http://doi.acm.org/10.1145/2103656.2103674 conf/popl/2012 db/conf/popl/popl2012.html#VeanesHLMB12