Page "ω-automata" not found :(