Syntactic congruences for omega-languages - Staiger, Ludwig (Aachener Informatik-Berichte, 1991)