Peter A. Lindsay: On Alternating omega-Automata. J. Comput. Syst. Sci. 36(1): 16-24 (1988)