Jürgen Albert Ullrich Hafner Nondeterminism and Motion Compensation for Weighted Finite Automata. 87-96 1998 GI Jahrestagung db/conf/gi/gi98.html#AlbertH98