A. Tang Chain Properties in P omega. 153-172 1979 9 Theor. Comput. Sci. db/journals/tcs/tcs9.html#Tang79