Michael Kaminski A Classification of omega-Regular Languages. 217-229 1985 36 Theor. Comput. Sci. db/journals/tcs/tcs36.html#Kaminski85