A Characterization of Plotkin's Order in Powerdomains, and Some of its Properties.

David de Frutos-Escrig A Characterization of Plotkin's Order in Powerdomains, and Some of its Properties. 73-82 1984 31 Theor. Comput. Sci. db/journals/tcs/tcs31.html#Escrig84