Peter M. W. Knijnenburg A Note on the Smyth Powerdomain Construction. 133-139 1996 26 Fundam. Inform. 2 db/journals/fuin/fuin26.html#Knijnenburg96