Michael W. Mislove On the Smyth Power Domain. 161-172 1987 conf/mfps/1987 MFPS db/conf/mfps/mfps1987.html#Mislove87 http://dx.doi.org/10.1007/3-540-19020-1_8