Jürgen Albert, Ullrich Hafner: Nondeterminism and Motion Compensation for Weighted Finite Automata. GI Jahrestagung 1998: 87-96