John-Jules Ch. Meyer Erik P. de Vink Applications of Compactness in the Smyth Powerdomain of Streams. 251-282 1988 57 Theor. Comput. Sci. db/journals/tcs/tcs57.html#MeyerV88 http://dx.doi.org/10.1016/0304-3975(88)90042-4