On Weighted BÜchi Automata with Order-Complete Weights. - Manfred Droste; Ulrike Püschmann (Int. J. Algebra Comput., 2007)